Principal Applied Scientist Bespoke Proofs Automated Reasoning Group

The Automated Reasoning Group applies mathematical and logical methods to verify computing systems, placing limits on their permitted runtime behaviours. Bespoke Proofs, a sub-team within the Automated Reasoning Group, applies these techniques to high-value software across AWS, typically low-level code such as machine code cryptography implementations and hypervisors. We're hiring for a Principal Applied Scientist who will provide a significant focus in developing verification techniques that can be used to reason about low-level code, typically written in a systems programming language such as Rust, C, C++, or assembly. Expertise in RUST, Lean, C, C++ or assembly is not strictly required, though an ability to move between formal reasoning tools and a proven record of working on the specification and verification of large, complex systems, is.The Principal Applied Scientist will need to be comfortable with low-level codebases, and having some affinity for the underlying machine, an important aspect of our work is being able to work alongside, and effectively communicate with, product engineers who are often not formal verification experts, or even familiar with the field in any capacity, and are often somewhat skeptical of our work. Being able to communicate the value of formal methods, without devolving into jargon or technical details, is therefore a useful trait. As a Principal within the Automated Reasoning Group, you will provide technical leadership within the group, acting as an inspiration for more junior colleagues and helping to set technical and cultural expectations across Amazon’s Automated Reasoning community.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 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++, 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 techniquesAmazon 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.