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.

full job description

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.

full job description

Want to work with us, but don't see a matching job?

Reach out to us to chat about it.