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.
Product Lead: Formal Verification
We're looking for a product manager to stimulate a transition to a new paradigm of software generation. AI research advances are creating opportunities to scale up formal verification and specification-driven software-development, and we are looking for a product lead to drive technology transfer from research to real-world applications. This involves building relationships with formal verification customers and developing and executing product strategy to put AI-assisted formalization into practice.
COO: Atlas Computing
We're looking for a COO to be our internal subject-matter-expert on how to best achieve growing impact as an organization. This will involve dramatically improving our organization, prioritization, and execution.
Reach out to us to chat about it.
Get involved