Applied Scientist, Automated Reasoning
Amazon
LondonOn-siteEst. £74k - £120k (similar roles)full timeApplied SciencePosted 2w agoEarly applicant likely
This role is aggregated from the employer's public careers feed - the button opens their application page.
Applied Scientists in AWS Automated Reasoning develop and apply bleeding-edge formal methods, automated reasoning techniques, and neurosymbolic approaches to ensure the security, reliability, and correctness
Basic qualifications:
- PhD or equivalent research experience
- Experience in any of the following areas: mathematical logic, formal verification, satisfiability solving (eg SAT/SMT), mechanical theorem proving, model checking, or program analysis
About Amazon
Amazon operates fulfillment centers and quick commerce operations that handle physical inventory, packaging, and delivery of items. It hires reliability engineers, operations supervisors, and automation specialists to maintain material handling equipment, manage warehouse operations, and oversee automated systems.
All Amazon jobsStop searching - get matched.
Upload your CV and our AI will surface roles like this one, with the reasons they fit you.
Upload CV - it's free