Amazon Development Centre (London) Limited
Technology
AppliedScientist,AgenticAutomatedReasoning
“Applied Scientist, Agentic Automated Reasoning at Amazon Development Centre (London) Limited. Skills: Automated reasoning, Generative AI, Model checking, Theorem proving. Understand customer software. Understand customer properties”
Industry & Context.
Solve code analysis problems
What They're Looking For.
Must Have
PhD or Master's degree, Experience in patents or publications, Experience programming in Java, C++, Python, Experience in algorithms and data structures, Experience in parsing, Experience in numerical optimization, Experience in data mining, Experience in parallel and distributed computing, Experience in high-performance computing
Nice to Have
Experience with model checking tools, Experience with SAT/SMT solvers, Knowledge of defining semantics, Experience applying machine learning, Experience applying generative AI tools
What You'll Do.
Understand customer software
Understand customer properties
Identify verification tools
Identify verification methods
Identify novel analysis capabilities
Use property-based testing
Use interactive theorem provers
Establish program properties
Explore generative AI techniques
Formalize requirements
Generate boilerplate for testing
Generate boilerplate for model checking
Repair program proofs
How You'll Work.
Team & Collaboration
Customer teams; Coworkers
Applying for this Applied Scientist, Agentic Automated Reasoning role?
Most applicants get filtered before a human reads their resume. See if yours makes the cut.
ANONYMOUS · UNFILTERED
What do employees actually say about Amazon Development Centre (London) Limited?
Real rants from real employees. Read before you apply.