Applied Scientist: Automated Reasoning & Verification
-
Software Development
AI Engineer (Applied/Software)
Job Description & How to Apply Below
Services LLC in Arlington, VA is seeking a highly experienced researcher to design, implement, and deploy automated reasoning tools for verifying software correctness and security. The role involves working on SAT/SMT, theorem proving, programming language theory, and novel verification frameworks.
You will contribute to high-impact projects in a startup-like AWS security team, with opportunities to ship your tools to millions of customers.
Consider building your career as a Applied Scientist:
Automated Reasoning & Verification at Amazon Web Services (AWS).
Step into the Applied Scientist:
Automated Reasoning & Verification role at Amazon Web Services (AWS) in Arlington, VA, United States and grow with us.
Please review the full job details above before applying.
If your experience matches this role, we encourage you to apply.
All applications are reviewed carefully by our team.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).