Amazon Development Center U.S., Inc. is seeking a Principal Applied Scientist to lead interactive theorem proving, language semantics, and generative AI for provable security.
You will work on verification tools for code analysis across infrastructure as code and cryptography, collaborating with a team of PhDs and industry veterans. You will guide delivery of AR solutions, explore novel analysis methods, and mentor junior scientists, with emphasis on rigorous proofs and scalable proofs.
#J-18808-Ljbffr