Applied Scientist - Automated Reasoning & Verification

Amazon Locker

Amazon Development Center U.S., Inc. is seeking Applied Scientists in AWS Automated Reasoning to develop formal methods, automated reasoning techniques, and neuro-symbolic approaches to ensure the security, reliability, and correctness of Amazon/AWS services. The work spans cloud infrastructure verification, cryptographic assurance, AI safety, and formal guarantees for generative AI systems, using interactive theorem proving, constraint solving, and neuro-inspired proof search. #J-18808-Ljbffr

Apply

Vacancy posted 4 days ago

Similar jobs that could be interesting for youBased on the Applied Scientist - Automated Reasoning & Verification in Brooklyn, NY vacancy

Research Scientist, Reasoning and Planning
...About the Role OpenAI is seeking a Research Scientist to join our Reasoning and Planning team. You will be responsible for pushing the boundaries of AI capabilities by developing novel architectures and training paradigms that enhance multi-step reasoning, mathematical...
Suggested
Flexible hours
AI Breaking Wire
Brooklyn, NY
3 days ago
Senior Applied Scientist, Servicing AI (Remote)
...Upstart is hiring a Senior Applied Scientist for the Servicing team. You will build predictive and causal models to improve loan servicing decisions, collaborating with Product, Engineering, and Operations to implement data-informed payment plans and autopay strategies...
Suggested
Remote work
OhioX
Brooklyn, NY
1 day ago
Media Measurement Analyst Contractor, 8AM-5PM
$35 - $40 per hour
...veteran status, or any other protected status. Reasonable Accommodations Notice: If you require accommodations to view or apply for a job, alternative methods are available... ...reasonable accommodations. Identity Verification Notice: To maintain the integrity of our hiring...
Suggested
Hourly pay
Contract work
For contractors
Work at office
Local area
Remote work
Worldwide
2 days per week
Avery Dennison
Brooklyn, NY
3 days ago
Lead Software Engineer - Data Engineer and Applied AI (Corporate Technology)
...Identifies opportunities to eliminate or automate remediation of recurring issues to... ...of effective patterns across the team. Applies knowledge of tools within the Software Development... ...under applicable law. We also make reasonable accommodations for applicants' and employees...
Suggested
J.P. Morgan
Jersey City, NJ
1 day ago
Lead Software Engineer - Data Engineer and Applied AI
...othersIdentifies opportunities to eliminate or automate remediation of recurring issues to... ...of effective patterns across the team.Applies knowledge of tools within the Software Development... ...under applicable law. We also make reasonable accommodations for applicants' and...
Suggested
Chase
Jersey City, NJ
5 days ago
Manager/Principal Scientist Research & Development - Polymer Formulation
$130k - $180k
...The R&D Manager/Principal Scientist - Polymer Formulation will lead... ...studies and design verification/validation activities. Develop... ...or local laws. This policy applies to all employment practices... ...a disability and require a reasonable accommodation to complete any...
Full time
Temporary work
Apprenticeship
Work at office
Local area
Cresilon Inc
Brooklyn, NY
2 days ago
Senior Research Scientist: Biopolymer Chemistry and Processing
$105k - $135k
...chain. We are seeking a Senior Research Scientist to lead the molecular and formulation... ...strain behavior. • Strong experimental reasoning, quantitative analysis, technical... ...Health and wellness benefits. How to Apply Please send a CV or resume and a brief...
Full time
Local area
Finiks Forge, Inc.
Brooklyn, NY
3 days ago
Research Professor (HS), Neurology
...veterans, individuals with disabilities and members of underrepresented groups are encouraged to apply. If you are an individual with a disability and need a reasonable accommodation for any part of the application process, or in order to perform the essential functions...
SUNY Downstate Health Sciences University
Brooklyn, NY
3 days ago
Professor and Chair, Anesthesiology
...veterans, individuals with disabilities and members of underrepresented groups are encouraged to apply. If you are an individual with a disability and need a reasonable accommodation for any part of the application process, or in order to perform the essential functions...
Full time
SUNY Downstate Health Sciences University
Brooklyn, NY
3 days ago
Professor and Chair (Medicine) (GFT) - Psychiatry
...veterans, individuals with disabilities and members of underrepresented groups are encouraged to apply. If you are an individual with a disability and need a reasonable accommodation for any part of the application process, or in order to perform the essential functions...
Full time
SUNY Downstate Health Sciences University
Brooklyn, NY
3 days ago
Postdoctoral Researcher on AI Agents, Autonomous Decision-Making & Artificial Intelligence
$60k - $70k
...Bayesian optimization) to autonomously plan, reason, allocate, navigate, and explore physical... ...and engineering discovery, laboratory automation, drone swarm control, autonomous vehicle... ...continue until filled. Applicants should apply directly through this job posting. The following...
Full time
Immediate start
Flexible hours
Jobrapido
Brooklyn, NY
5 days ago
Applied AI & Data Product Scientist
...Vice President — Applied Artificial Intelligence and Data Product ScientistThis is a rare... ...Intelligence and Data Product Scientist in the Finance Transformation and Analytics... ...protected under applicable law. We also make reasonable accommodations for applicants' and employees...
Chase
Jersey City, NJ
1 day ago
Tax Data & Automation Analyst
Susquehanna is seeking a Tax Operations Analyst to transform tax data into actionable insights using Alteryx, Power BI, and automated workflows. You’ll design end-to-end processes, reconcile data, and build scalable solutions across accounting and tax functions. This role...
SIG Susquehanna
Brooklyn, NY
5 days ago
Clinical Lab Technologist 2, Blood Bank
...veterans, individuals with disabilities and members of underrepresented groups are encouraged to apply. If you are an individual with a disability and need a reasonable accommodation for any part of the application process, or in order to perform the essential functions...
Full time
Work experience placement
SUNY Downstate Health Sciences University
Brooklyn, NY
3 days ago
Clinical Lab Technologist 3, Microbiology
...veterans, individuals with disabilities and members of underrepresented groups are encouraged to apply. If you are an individual with a disability and need a reasonable accommodation for any part of the application process, or in order to perform the essential functions...
Full time
Work experience placement
SUNY Downstate Health Sciences University
Brooklyn, NY
3 days ago
Professor / Associate Professor (12MO), Tenure-Track
...veterans, individuals with disabilities and members of underrepresented groups are encouraged to apply. If you are an individual with a disability and need a reasonable accommodation for any part of the application process, or in order to perform the essential functions...
Full time
Traineeship
SUNY Downstate Health Sciences University
Brooklyn, NY
3 days ago
Clinical Lab Technologist, Chemistry & Immunology
...veterans, individuals with disabilities and members of underrepresented groups are encouraged to apply. If you are an individual with a disability and need a reasonable accommodation for any part of the application process, or in order to perform the essential functions...
Full time
SUNY Downstate Health Sciences University
Brooklyn, NY
3 days ago
Associate Professor (GFT), Neonatology
...veterans, individuals with disabilities and members of underrepresented groups are encouraged to apply. If you are an individual with a disability and need a reasonable accommodation for any part of the application process, or in order to perform the essential functions...
Full time
Night shift
SUNY Downstate Health Sciences University
Brooklyn, NY
3 days ago
Fiscal and Economic Analyst
...supplementary documentation and questions you should review before applying for the opening. Please see Special Instructions for more... ...effectively communicate the impact in writing. Provide support to automate and standardize data collection and management processes. Work...
Permanent employment
Full time
Part time
Work at office
Local area
University of Georgia
Brooklyn, NY
4 days ago
Clinical Laboratory Technologist (NYS)
$90k - $120k
...sequencing, pursuant to established protocols.Perform both manual and automated techniques to accomplish high-volume sample processing.Operate... ...protected by law. We are committed to providing reasonable accommodations for qualified applicants and employees with disabilities...
Full time
Shift work
Biotia
Long Island City, NY
3 days ago
Information Technology - Automation Engineer II
Information Technology - Automation Engineer IIJob#: 3046102Job Description:Job Description: 9+ years of proven experience in software development... ...in search of information on employment opportunities or to apply for a position, and you require an accommodation in using our...
Work experience placement
Apex Systems
Jersey City, NJ
3 days ago
Research Scientist
$98k - $133.93k
...Washington D.C. Area to join its research team as a Research Scientist to support highly technical research and project related activities... ...experience with data analysis, research methods• Experience applying computer science concepts in problem solving through algorithm...
Full time
Contract work
For contractors
Immediate start
Stevens Institute of Technology
Hoboken, NJ
4 days ago
Applied AI Researcher
...of an inclusive, adaptable, and forward-thinking organization, apply now. We are currently seeking a Applied AI Researcher to join... ...regulated deployment environments. NTT DATA provides a reasonable range of compensation for U.S.-based positions. The starting pay...
Temporary work
Work at office
Remote work
Flexible hours
NTT DATA, Inc.
Jersey City, NJ
5 days ago
Paid Media Analyst
$64.3k - $80.37k
...for internal meetings and team building activities. We reimburse reasonable and necessary travel expenses, and you’re also welcome to work... ...of all backgrounds, experiences, and perspectives to apply. Employment decisions are based on qualifications, merit, and business...
Daily paid
Full time
Seasonal work
Live in
Work at office
Remote work
Work from home
Relocation
Visa sponsorship
Work visa
Monday to Friday
Flexible hours
SupplyHouse.com
Brooklyn, NY
5 days ago
LLM Benchmarking Research Scientist
...AI Labs in a remote capacity across LatAm/US seeks a Research Scientist focused on LLM evaluations and benchmarking. You will design frontier-grade evaluation methods and build benchmarks across reasoning, coding, agents, and multi-modal capabilities. You will collaborate...
Remote work
Anyone AI Inc.
Brooklyn, NY
1 day ago
Data Scientist
...), is searching for a Data Scientist for a CONTRACT assignment... ...high complexity analysis of automated surveillance systems that detect... ...big data platforms. By applying for a job with SGA, you... ...access, equal opportunity, and reasonable accommodation for...
Contract work
Software Guidance & Assistance
Jersey City, NJ
1 day ago
Medical Technologist
$50 - $60 per hour
...this position is $50.00 - $60.00/hr. Eligibility requirements apply to some benefits and may depend on your job classification and... ...characteristic protected by law. If you would like to request a reasonable accommodation, such as the modification or adjustment of the job...
Temporary work
Immediate start
Shift work
Night shift
Actalent
Far Rockaway, Queens County, NY
3 days ago
Travel Medical Technologist in Elmhurst, NY
...Weeks Start Date: ASAP About the Position 1 year Histology Clinical Laboratory Technologist experience Requirements Valid license to practice as a Clinical Laboratory Technologist issued by NYSED, Primary Source Verification required. BLS preferred...
Weekly pay
Full time
Contract work
Immediate start
Shift work
IMCS Group
Elmhurst, NY
4 days ago
Travel Medical Technologist - $65 to $70 per hour in Elmhurst, NY
$65 - $70 per hour
...Laboratory Technologist experience Valid license to practice as a Clinical Laboratory Technologist issued by NYSED, Primary Source Verification required. BLS preferred. Requirements 1 year Histology Clinical Laboratory Technologist experience Valid license to...
Hourly pay
Full time
Contract work
Immediate start
Shift work
IMCS Group
Elmhurst, NY
4 days ago
Medical Technologist II- PRN
...specialty lab certification. Primary source verification of successful completion is required... ...routine laboratory testing using both automated and non-automated methods using... ...Certification as a Medical Laboratory Scientist by ASCP BOC or equivalent, or relevant...
Hourly pay
Relief
Shift work
C002 Medical University Hospital Authority (MUHA)
Brooklyn, NY
1 day ago

Do you want to receive more vacancies?

Subscribe and receive similar vacancies to Applied Scientist - Automated Reasoning & Verification. Be the first to apply!