Program Director Formal Methods
A nonprofit grantmaking organization advancing OpenAI's mission of ensuring AGI benefits all humanity through AI-related scientific, resilience, economic, and community programs.
Funding history
About OpenAI Foundation
OpenAI Foundation is the nonprofit mission-governing entity that controls OpenAI Group PBC. It funds and operates programs focused on life sciences and curing diseases, AI resilience, civil society and philanthropy, and AI's economic impact.
Skills
Candidate Availability
Required and preferred rules are kept separate and reflect the wording in the original posting.
About the Role
You will establish and lead a formal-methods R&D strategy for cyber resilience. You will build a grants and contracts portfolio, launch technical demonstrations, connect researchers and industry stakeholders, and lead technical experts and program builders toward deployment.
Requirements
- 5–10+ years of formal methods experience
- Experience applying formal methods to consequential real-world systems
- Experience leading a technical R&D program, organization, or cross-institutional effort
- Network across the formal-methods community
- Understanding of AI-enabled offensive cyber operations and defensive engineering
- Experience with industrial formal verification, high-assurance software, compilers, programming languages, systems security, cryptographic verification, or verified hardware
Responsibilities
- Set and own a formal methods R&D strategy for cyber resilience
- Build and execute a portfolio of grants and contracts
- Launch rapid technical sprints and demonstrations
- Connect formal-methods researchers and companies with AI labs, infrastructure operators, government, standards bodies, and funders
- Build and lead a team of technical experts and program builders
