Use proof assistants and Aristotle to translate design intent into formal properties, execute proofs, diagnose failures, scope projects with customers, deliver reproducible workflows, and feed verification insights back to product and research. Travel to customer sites as needed.

The Software Engineer will work closely with AI researchers to develop scalable software integrating AI technologies, manage software lifecycle, and collaborate with cross-functional teams.