Impress employers and recruiters.
Choose from hundreds of resume examples.
Impress employers and recruiters.
Choose from hundreds of resume examples.
Tailor your resume to this Program Director, Formal Methods role.
Rezi rewrites your resume against OpenAI Foundation's job description. Free.
Tailor your resume to this Program Director, Formal Methods role.
Rezi rewrites your resume against OpenAI Foundation's job description. Free.
Don't guess if your resume is good enough.
See how it scores against the Program Director, Formal Methods posting at OpenAI Foundation — free, in seconds.
Don't guess if your resume is good enough.
See how it scores against the Program Director, Formal Methods posting at OpenAI Foundation — free, in seconds.
About the Role
The Formal Methods Lead will be responsible for making formal methods a central pillar of the Foundation’s cyber resilience program. This role acts as the general manager for a fast-moving R&D initiative, setting the strategy, coordinating the ecosystem, building the Foundation into a leading philanthropic funder, and driving work from research to deployment. This is a senior, full-time leadership role with substantial autonomy and short timelines, requiring high-conviction bets, recruitment of exceptional people, and rapid funding and initiation of significant work.
Responsibilities
- Set and own a focused formal methods R&D strategy for cyber resilience, identifying high-leverage bottlenecks and advising leadership.
- Build and execute a high-conviction portfolio of grants and contracts, sourcing exceptional people and programs.
- Launch rapid technical sprints and ambitious demonstrations on consequential systems with clear milestones.
- Knit together the ecosystem of formal-methods researchers and companies with frontier AI labs, critical-infrastructure operators, government, standards bodies, and other funders.
- Build and lead a small, exceptional team of technical experts and program builders, complemented by advisors, contractors, and AI-native engineering capacity.
Requirements
- Deep expertise in formal methods, equivalent to 5-10+ years of experience in the field.
- Broad judgment about approaches, tools, institutions, and people across the formal methods ecosystem.
- Experience applying formal methods to consequential real-world systems.
- Understanding of the gap between a successful proof and a deployed, usable system.
- Experience leading a significant technical R&D program, organization, or cross-institutional effort from an ambiguous mandate to concrete results.
- Strong network and trusted relationships across the formal-methods community.
- Ability to mobilize both established leaders and overlooked teams.
- Understanding of how rapidly improving AI capabilities are changing both offensive cyber operations and defensive engineering.
- Ability to identify bottlenecks that will remain.
- High-agency operator who makes sound decisions under uncertainty.
- Moves with urgency.
- Recruits excellent people.
- Communicates ambitious ideas without overselling technology capabilities.
- Experience with industrial formal verification, high-assurance software, compilers, programming languages, systems security, cryptographic verification, or verified hardware.
- Experience running an ARPA-style program, technical startup, open-source or standards effort, or a substantial portfolio of grants, contracts, or investments.
Skills
- Formal Methods
- Cyber Resilience
- R&D Strategy
- Ecosystem Coordination
- Philanthropic Funding
- Research to Deployment
- Grant and Contract Management
- Technical Sprints
- Demonstration Execution
- Ecosystem Networking
- Team Leadership
- Technical Expertise
- Program Building
- AI Capabilities Understanding
- Offensive Cyber Operations
- Defensive Engineering
- Industrial Formal Verification
- High-Assurance Software
- Compilers
- Programming Languages
- Systems Security
- Cryptographic Verification
- Verified Hardware
- ARPA-style Program Management
- Startup Management
- Open-Source Effort Management
- Standards Effort Management
- Grant Portfolio Management
- Contract Portfolio Management
- Investment Portfolio Management
Work Type
- Full-time
Experience Level
- Senior
- 5-10+ years in formal methods
Salary/Compensations
- $300,000 to $370,000 USD
About the Company
- AI is changing how people work, learn, and access care, with the potential for extraordinary benefits like faster medical breakthroughs, accelerated scientific discovery, personalized services, new tools for creativity, higher productivity, economic growth, and improved public services.
- The Foundation aims to enable the use of AI to solve humanity's hardest problems, transform human capabilities, and deliver real benefits, while preparing for new challenges and making society resilient as AI advances.
- The Foundation expects to invest at least $1 billion over the next year across life sciences, curing diseases, jobs and economic impact, AI resilience, and community programs.
- This includes early investments toward a previously announced $25 billion commitment to curing diseases and AI resilience.
Equal Opportunity
- We are an equal opportunity employer and do not discriminate on the basis of race, religion, national origin, gender, sexual orientation, age, veteran status, disability or any other legally protected status.
- Pursuant to the San Francisco Fair Chance Ordinance, we will consider qualified applicants with arrest and conviction records.