Applied Scientist — Automated Reasoning for Code Verification

Amazon Science in Greater London is seeking an Applied Scientist to join the Agentic Automated Reasoning Group. This role involves developing advanced software verification tools using innovative techniques in artificial intelligence. You will work closely with customer teams to establish the verification properties necessary for their software systems.

Qualified candidates should hold a PhD or Master’s degree in a relevant field and have experience with programming languages like Java, C++, or Python. This is an exciting opportunity for those passionate about working at the intersection of AI and software security.

#J-18808-Ljbffr…