Amazon Development Centre (London) Limited
Technology
AppliedScientist,AgenticAutomatedReasoning
“Applied Scientist, Agentic Automated Reasoning at Amazon Development Centre (London) Limited. Skills: Automated reasoning, Formal methods, Generative AI, Model checking. Understand customer software. Understand properties to establish”
Industry & Context.
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, Experience in formal verification, Experience in program analysis, Experience in constraint-solving, Experience in theorem proving
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 properties to establish
Identify tools and 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.