Leave us your email address and we'll send you all the new jobs according to your preferences.
Applied Scientist, AI-Driven Formal Verification
Posted 1 hour 16 minutes ago by Amazon
Permanent
Full Time
Other
London, United Kingdom
Job Description
Amazon is looking for an Applied Scientist in London to join the Agentic Automated Reasoning Group. This role involves working on advanced software verification tools leveraging artificial intelligence and cloud capabilities.
The candidate will engage in projects spanning from infrastructure verification to cryptographic applications. Candidates should hold a PhD or Master's in relevant fields with programming experience in Java, C++, or Python.
Join Amazon to innovate and help maintain the integrity and security of AWS services through cutting-edge formal verification techniques.
Amazon
Related Jobs
Head of Residential Conveyancing - Lead & Grow Dept
- Staffordshire, Stoke-on-trent, United Kingdom, ST1 1
Senior Commercial Solicitor - M&A Leader & Growth Mentor
- England, United Kingdom
Employment Associate: Cross-Border & High-Value Matters
- London, United Kingdom
Senior Commercial Property Solicitor - Lead & Mentor Team
- Wiltshire, Swindon, United Kingdom, SN256
Employment Associate - 1 PQE+
- London, United Kingdom