Applied Scientist, Agentic Automated Reasoning
Core
Building next-generation software verification tools combining AI, cloud computing, and formal methods to solve code analysis problems and ensure security, availability, and functional correctness for AWS services and customer applications.
Role type
Applied Scientist, Agentic Automated Reasoning
Builds
New software verification tools and agentic systems for code analysis and safety assurance
Domain
Cloud infrastructure, formal methods, automated reasoning, generative AI
Deliverable
production ML models | product features
Required skills
model checking, interactive theorem proving, programming language semantics, generative AI, property-based testing, formal verification
Preferred skills
expertise in high-performance cryptography, assembly code analysis, automated test generation
Technologies
AWS cloud infrastructure, Strata tools, generative AI frameworks
Responsibilities
Collaborate with customer teams to understand software properties and verification needs; Identify and apply novel analysis capabilities including model checkers and theorem provers; Explore generative AI techniques to formalize requirements, generate tests, and repair proofs.
Seniority
Senior, hands-on IC
