ZipRecruiter

Log In

1

Ms In Automated Reasoning Jobs (NOW HIRING)

Cogent Security

Research Scientist

San Francisco, CA · On-site

The Research Scientist role involves driving foundational and applied research in automated reasoning and AI-driven code analysis, producing impactful work that contributes to the company's mission ...

Cogent Security

AI Research Scientist

San Francisco, CA · On-site

$100K - $300K/yr

If you have deep expertise in automated reasoning, a strong publication or artifact track record, and a passion for making the world's infrastructure safer, we want to hear from you. What You'll Do ...

Cogent Security

AI Research Engineer

San Francisco, CA · On-site

$100K - $300K/yr

Experience in Automated Reasoning: Hands-on experience with static/dynamic analysis, formal ... Education: Degree in Computer Science or a closely related technical field (BS, MS, or PhD)

Cogent Security

AI Research Engineer

San Francisco, CA · On-site

$200 - $250/hr

Experience in Automated Reasoning: Hands‑on experience with static/dynamic analysis, formal ... Education: Degree in Computer Science or a closely related technical field (BS, MS, or PhD)

previous pagenext page

Showing results 21-40

All JobsMs In Automated Reasoning Jobs

Ms In Automated Reasoning information

What are popular job titles related to Ms In Automated Reasoning jobs?

For Ms In Automated Reasoning jobs, the most frequently searched job titles are:

Infographic showing various Ms In Automated Reasoning job openings in the United States as of July 2026, with employment types broken down into 1% Internship, 82% Full Time, 11% Part Time, and 6% Contract. Highlights an 89% Physical, 3% Hybrid, and 8% Remote job distribution.

Software Development Engineer, AWS AI Agentic Automated Reasoning (AR)

Seattle, WA • On-site

Amazon
IT Services • 10K+ employees
Learn more about Amazonexternal

Full-time

Posted 29 days ago

Amazon rating

7.4

Company rating: 7.4 out of 10

Based on 7,162 frontline employees who took The Breakroom Quiz

5th of 39 rated national retailers

Job description

We are building exciting new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and exciting ways to enhance AWS services. The position is based in Seattle, Washington.
We are seeking a talented and passionate Software Development Engineer (SDE) who wishes to work at the intersection of Automated Reasoning and cloud-scale distributed systems, building and operating managed reasoning infrastructure that powers correctness guarantees across AWS.
As an SDE, you will design, build, and operate components of Amazon's cloud-hosted automated reasoning platform that enables AWS services to offload satisfiability and verification queries at scale. You will tackle challenges in distributed systems, solver integration, API development, and service reliability

Your work will directly enable customers to verify correctness of software, infrastructure configurations, and AI-generated code at AWS scale.
This is a unique opportunity to combine strong software engineering skills with automated reasoning technology. You'll work alongside world-class scientists and senior engineers to turn research breakthroughs in solver technology into production services that power correctness guarantees for millions of customers. The problems are hard, the impact is enormous, and your contributions will be highly visible.
Key job responsibilities
- Design and implement features and components of Amazon's cloud-hosted automated reasoning platform, including query routing, solver orchestration, result caching, and soundness management.
- Build and maintain distributed systems that meet AWS's operational excellence standards for availability, latency, and correctness.
- Contribute to the evolution of the service API, making it easier for customers to integrate reasoning capabilities into their workflows.
- Collaborate with Automated Reasoning scientists to integrate solver improvements and new capabilities into the production platform.
- Participate in on-call rotations, build monitoring and alerting, and contribute to the continuous improvement of service reliability.
- Write clean, well-tested, production-quality code and participate actively in code reviews and design discussions.
- Work with internal AWS customer teams to understand their use cases and help troubleshoot integration issues.
A day in the life
A typical day may include implementing a new feature for the solver service, collaborating with a scientist on integrating a solver optimization, participating in code reviews, debugging an issue in the query pipeline, or writing tests to improve coverage

You'll spend most of your time writing code and solving technical problems, while also contributing to design discussions and operational improvements. You might also attend a sprint planning session, pair with a teammate on a tricky problem, or investigate a customer-reported issue.

What Amazon employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom

Amazon logo

About Amazon

Sourced by ZipRecruiter

Amazon.com, Inc., commonly known as Amazon, is an American multinational technology company. It was founded by Jeff Bezos in 1994 and initially started as an online marketplace for books. Since then, Amazon has expanded its operations and become one of the largest e-commerce companies in the world. Amazon's primary business is its online retail platform, where customers can purchase a vast array of products, including electronics, clothing, books, home goods, and much more. The company offers a convenient and user-friendly shopping experience, with features such as fast shipping, customer reviews, and personalized recommendations. In addition to its e-commerce platform, Amazon has diversified its business into various other areas. One of its notable ventures is Amazon Web Services (AWS), a comprehensive cloud computing platform that provides services such as storage, compute power, and database management to individuals and businesses. AWS has become a leader in the cloud computing industry, powering many websites and applications worldwide. Amazon has also developed its own consumer electronics, including the popular Amazon Kindle e-reader, Fire tablets, Fire TV streaming devices, and the Alexa-powered Echo smart speakers. The Alexa voice assistant, integrated into these devices, allows users to interact with their devices using voice commands, perform tasks, and access information. Furthermore, Amazon has expanded into media and entertainment. It operates Prime Video, a streaming service that offers a wide range of movies, TV shows, and original content. Amazon Music provides a platform for streaming and purchasing digital music, while Audible offers audiobooks and other audio content. The company's commitment to customer satisfaction and convenience is demonstrated by its membership program, Amazon Prime. Prime members receive various benefits, including free two-day shipping, access to streaming services, exclusive deals, and more.

Industry

It services, book publishers, retail, real estate, computer and electronic product manufacturing and software development

Company size

10,000+ Employees

Headquarters location

Seattle, WA, US

View All Amazon Jobs

Apply