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
1 week ago
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
Engineering Manager, Hardware Platform Security
AnthropicSan Francisco, CA / Seattle, WA
San Francisco, CA / Seattle, WA
6 days ago
Senior Security Engineer
Apollo ResearchLondon, UK
London, UK
1 week ago
Head of Cyber Safety
Gray SwanRemote (US)
Remote (US)
2 weeks ago
Principal Researcher, AI Security
AliceRamat Gan, Israel
Ramat Gan, Israel
2 weeks ago
Head of AI Red Teaming
Trajectory LabsBerkeley, CA
Berkeley, CA
3 weeks ago
Security Engineer, Corporate IT
ResolutionBerkeley, CA / London, UK / Remote
Berkeley, CA / London, UK / Remote
2 months ago
Field Specialist, AI Hardware Security and Verification
AmodoSheffield, UK / London, UK
Sheffield, UK / London, UK
3 months ago
Lead Research Scientist
Neo ResearchRemote
Remote
5 days ago
Join 60k subscribers and sign up for the EA Newsletter, a monthly email with the latest ideas and opportunities