Current Jobs
Come work with us on making the world safer
How to Apply
Please email a short joke and a resume to [email protected] . No need to include a cover letter. You can add a paragraph or two in case you want to highlight anything that you think will convince us to have a first chat with you, but don't worry about being formal. We’re serious about the joke! It’s good spam prevention.
Research Lead: Formal Verification and AI
We're hiring a researcher with expertise at the intersection of formal verification and machine learning to show the world that machine learning can dramatically accelerate formal verification in software engineering. This work will involve rapid prototyping of new capabilities, influencing stakeholders in the relevant research fields, and supporting the transfer of research into practical use.
Research Director: Formal Verification and AI
We're hiring a research director with demonstrated experience directing formal verification and AI research. This role is responsible for paving the way to dramatically accelerate formal verification through research that influences researchers, developers, funders, and policymakers. This involves pursuing a research agenda at the overlap of formal methods and AI safety communities, building a world-class research team, and collaborating with applications engineers to translate research into real-world adoption.
Reach out to us to chat about it.
Get involved