Principal Applied Scientist, Agentic Automated Reasoning Group
Amazon (AI roles) · Boston, Massachusetts, USA
No salary listed. Estimated from 259 salary-disclosed Research roles on this board: $235K–$325K (interquartile range; estimate, not the employer's figure).
Apply at Amazon (AI roles)Find your warm intro on LinkedInAbout the role
The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our deep expertise in the domain. Join us if you want to be a part of this transformational endeavor.
The Strata team (https://github.com/strata-org) is seeking a Principal Applied Scientist with broad interest and expertise in interactive theorem proving, programming language semantics, deductive verification and generative AI. You will combine your expertise with that of your coworkers to build new tools that solve code analysis problems previously considered beyond reach. Our application areas span all the way from Infrastructure as Code to high-performance cryptography written in assembly code, while our methods span from interactive theorem proving to automated test generation.
Each day, hundreds of thousands of developers make billions of transactions worldwide on AWS. They harness the power of the cloud to enable innovative applications, websites, and businesses. Using automated reasoning technology and mathematical proofs, AWS allows customers to answer questions about security, availability, durability, and functional correctness. We call this provable security, absolute assurance in security of the cloud and in the cloud. https://aws.amazon.com/security/provable-security/
Key job responsibilities
- Define roadmap and lead delivery of AR solutions across multiple customer use cases.
- Identify tools and methods capable of addressing the verification needs of customers, including any novel analysis capabilities required.
- Use tools spanning from fuzzers, property-based testing to model checkers, and interactive theorem provers to establish program properties.
- Explore generative AI techniques to help customers formalize their requirements, find revealing tests, generate required boiler plate for testing and model checking, and find and repair program proofs.
About the team
You will be working with a team of formal verification specialists spanning recently hired PhDs to industry veterans. You will work collaboratively to deliver results in the form of verified code and tools to accelerate code verification for our customer teams. - PhD in Electrical Engineering, Computer Science, Mathematics, or a related technical field
- Experience distilling informal customer requirements into problem definitions, dealing with ambiguity and competing objectives
- Experience programming in Java, C++, Python or related language
- Experience with leading experienced scientists as well as having a record of developing junior members from academia or industry to a career track in a business environment
- 10+ years of industry or academic work in formal verification, program analysis, constraint-solving or theorem proving experience
The Strata team (https://github.com/strata-org) is seeking a Principal Applied Scientist with broad interest and expertise in interactive theorem proving, programming language semantics, deductive verification and generative AI. You will combine your expertise with that of your coworkers to build new tools that solve code analysis problems previously considered beyond reach. Our application areas span all the way from Infrastructure as Code to high-performance cryptography written in assembly code, while our methods span from interactive theorem proving to automated test generation.
Each day, hundreds of thousands of developers make billions of transactions worldwide on AWS. They harness the power of the cloud to enable innovative applications, websites, and businesses. Using automated reasoning technology and mathematical proofs, AWS allows customers to answer questions about security, availability, durability, and functional correctness. We call this provable security, absolute assurance in security of the cloud and in the cloud. https://aws.amazon.com/security/provable-security/
Key job responsibilities
- Define roadmap and lead delivery of AR solutions across multiple customer use cases.
- Identify tools and methods capable of addressing the verification needs of customers, including any novel analysis capabilities required.
- Use tools spanning from fuzzers, property-based testing to model checkers, and interactive theorem provers to establish program properties.
- Explore generative AI techniques to help customers formalize their requirements, find revealing tests, generate required boiler plate for testing and model checking, and find and repair program proofs.
About the team
You will be working with a team of formal verification specialists spanning recently hired PhDs to industry veterans. You will work collaboratively to deliver results in the form of verified code and tools to accelerate code verification for our customer teams. - PhD in Electrical Engineering, Computer Science, Mathematics, or a related technical field
- Experience distilling informal customer requirements into problem definitions, dealing with ambiguity and competing objectives
- Experience programming in Java, C++, Python or related language
- Experience with leading experienced scientists as well as having a record of developing junior members from academia or industry to a career track in a business environment
- 10+ years of industry or academic work in formal verification, program analysis, constraint-solving or theorem proving experience
More like this