Principal Applied Scientist, Automated Reasoning

Amazon

Seattle, WA

JOB DETAILS
SKILLS
Academic Research, Algorithms, Amazon Web Services (AWS), Analysis Skills, Artificial Intelligence (AI), Artificial Intelligence (AI) Agents, C Programming Language, C++ Programming Language, Cloud Computing, Code Reviews, Coding Standards, Communication Skills, Computer Science, Cross-Functional, Customer Relations, Data Analysis, Data Structures, Electrical Engineering, Formal Verification, Haskell, Java, Machine Learning, Mathematics, Mentoring, Model Review, Objective Caml, Open Source, Presentation/Verbal Skills, Production Systems, Programming Languages, Research & Development (R&D), Scientific Research, Software Development Lifecycle (SDLC), Software Engineering, Source Code/Configuration Management (SCM), Surface Mount Technology, Technical Leadership, Technical Presentation, Technical Strategy, Testing, Writing Skills
LOCATION
Seattle, WA
POSTED
22 days ago
Description We are seeking a Principal Applied Scientist to lead research and development in automated reasoning, formal verification, and program analysis. You will drive innovation in making formal methods practical and accessible for real-world systems at cloud scale. Key job responsibilities - Lead research initiatives in automated reasoning, formal verification, SMT solving, model checking, or program analysis - Design and implement novel algorithms and techniques that advance the state of the art - Mentor and guide applied scientists, research scientists, and engineers - Collaborate with product teams to transition research into production systems - Define technical vision and strategy for automated reasoning initiatives - Represent AWS in the academic and research community - Drive cross-organizational impact through technical leadership About the team The Automated Reasoning Group at AWS develops and applies cutting-edge formal methods and automated reasoning techniques to ensure the security, reliability, and correctness of AWS services and customer applications. Our work innovates tools and services to perform verification at scale and apply them to build safe and secure systems at AWS. We are also pioneering the use of formal verification and automated reasoning to develop agentic systems, ensuring AI agents operate within defined safety boundaries. Basic Qualifications - MS or Ph.D. degree in Electrical Engineering, Computer Science, Mathematics, or related technical field. - Industrial/academic experience in formal verification, and theorem proving. - Experience with program analysis, program verification or synthesis. - Experience with programming languages such as Rust, C, C++, Java, Dafny, OCaml or Haskell, and open source technologies. - Experience in design and analysis of algorithms and data structures. Preferred Qualifications - Ph.D. degree in Electrical Engineering, Computer Science, Mathematics, or related technical field - Demonstrated track record of project delivery for large, cross-functional projects with evolving requirements - Excellent written and verbal technical communication with an ability to present complex technical information in a clear and concise manner to a variety of audiences - Exceptional customer relationship skills including the ability to discover the true requirements underlying feature requests, recommend alternative technical and business approaches, and lead engineering efforts - 5+ years of professional software engineering practices for the full software development life cycle, including coding standards, code reviews, source control management, build processes, testing, and operations - Familiarity with machine learning and generative AI techniques Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status, disability, or other legally protected status. Our inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process, including support for the interview or onboarding process, please visit https://amazon.jobs/content/en/how-we-hire/accommodations for more information. If the country/region you're applying in isn't listed, please contact your Recruiting Partner. The base salary range for this position is listed below. Your Amazon package will include sign-on payments and restricted stock units (RSUs). Final compensation will be determined based on factors including experience, qualifications, and location. Amazon also offers comprehensive benefits including health insurance (medical, dental, vision, prescription, Basic Life & AD&D insurance and option for Supplemental life plans, EAP, Mental Health Support, Medical Advice Line, Flexible Spending Accounts, Adoption and Surrogacy Reimbursement coverage), 401(k) matching, paid time off, and parental leave. Learn more about our benefits at https://amazon.jobs/en/benefits . USA, WA, Seattle - 198,900.00 - 269,000.00 USD annually

About the Company

A

Amazon

At Amazon, we don’t wait for the next big idea to present itself. We envision the shape of impossible things and then we boldly make them reality. So far, this mindset has helped us achieve some incredible things. Let’s build new systems, challenge the status quo, and design the world we want to live in. We believe the work you do here will be the best work of your life.

Wherever you are in your career exploration, Amazon likely has an opportunity for you. Our research scientists and engineers shape the future of natural language understanding with Alexa. Fulfillment center associates around the globe send customer orders from our warehouses to doorsteps. Product managers set feature requirements, strategy, and marketing messages for brand new customer experiences. And as we grow, we’ll add jobs that haven’t been invented yet.

It’s Always Day 1
At Amazon, it’s always “Day 1.” Now, what does this mean and why does it matter? It means that our approach remains the same as it was on Amazon’s very first day – to make smart, fast decisions, stay nimble, invent, and stay focused on delighting our customers. In our 2016 shareholder letter, Amazon CEO Jeff Bezos shared his thoughts on how to keep up a Day 1 company mindset. “Staying in Day 1 requires you to experiment patiently, accept failures, plant seeds, protect saplings, and double down when you see customer delight,” he wrote. “A customer-obsessed culture best creates the conditions where all of that can happen.” You can read the full letter here

Our Leadership Principles
Our Leadership Principles help us keep a Day 1 mentality. They aren’t just a pretty inspirational wall hanging. Amazonians use them, every day, whether they’re discussing ideas for new projects, deciding on the best solution for a customer’s problem, or interviewing candidates. To read through our Leadership Principles from Customer Obsession to Bias for Action, visit https://www.amazon.jobs/principles
COMPANY SIZE
10,000 employees or more
INDUSTRY
Other/Not Classified
FOUNDED
1994
WEBSITE
http://Amazon.com/militaryroles