Loading...
Loading...
Amazon
Provide end-to-end technical leadership for automated reasoning solutions, identify and apply tools/methods for verification, and explore generative AI techniques to enhance formalization, testing, and proof generation.
Seeks a Sr. Applied Scientist with broad interest and expertise in interactive theorem proving, programming language semantics, deductive verification, and generative AI to build new software verification tools.
Generate a resume tailored to this job's requirements based on your uploaded resume.
AI Est. Total Comp
$275,000
Location
Boston, Massachusetts, USA
Work Type
On-site
Seniority
senior
Experience
8+ years
Category
Research Scientist
Visa Sponsorship
Unknown
Quality Score
4.6