The Effective Altruism
Opportunities Board
Work on the world's most pressing problems. Browse jobs, fellowships, internships, courses, and more at high-impact organisations.
Program Director, Formal Methods
OpenAI FoundationSan Francisco, CA
San Francisco, CA
Today
Salary
$300,000 – $370,000
Routes to impact
Direct high impact on an important cause
Description
Lead a fast-moving R&D initiative using formal methods to strengthen cyber resilience and deploy verified defensive systems.
- Set formal methods R&D strategy and identify high-leverage bottlenecks
- Build grant and contract portfolios and launch technical demonstrations
- Connect researchers, industry, AI labs, government, infrastructure operators, and funders
- Build and lead a small technical and program team
This text was generated by AI. If you notice any inconsistencies, please let us know using this form.
Related opportunities
Senior Security Engineer
Apollo ResearchLondon, UK
London, UK
Yesterday
Head of Cyber Safety
Gray SwanRemote (US)
Remote (US)
1 week ago
Principal Researcher, AI Security
AliceRamat Gan, Israel
Ramat Gan, Israel
1 week ago
Head of AI Red Teaming
Trajectory LabsBerkeley, CA
Berkeley, CA
1 week ago
Lead, Frontier Red Team, Cyber
AnthropicSan Francisco, CA / New York City, NY
San Francisco, CA / New York City, NY
1 month ago
Security Engineer, Corporate IT
ResolutionBerkeley, CA / London, UK / Remote
Berkeley, CA / London, UK / Remote
1 month ago
Field Specialist, AI Hardware Security and Verification
AmodoSheffield, UK / London, UK
Sheffield, UK / London, UK
2 months ago
Engineering Manager, Red Team
FAR.AIRemote
Remote
1 day ago
Join 60k subscribers and sign up for the EA Newsletter, a monthly email with the latest ideas and opportunities