Amazon.com Services LLC is seeking a highly skilled researcher to design, develop, and evaluate automated reasoning tools for verifying software correctness, security, and reliability. You will work with SAT/SMT, model checking, and theorem proving in a fast-moving AWS security environment, delivering tangible impact for millions of customers.
You will collaborate with world-class researchers to deploy verification frameworks and apply novel approaches to real-world problems, contributing to
#J-18808-LjbffrApplied Scientist, Automated Reasoning for Security in new york at Unknown Company
This position is listed as full time and onsite.