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
                Program Director, Formal Methods
                OpenAI FoundationSan Francisco, CA
                San Francisco, CA
                Today
                Information security
                AI safety & policy
                Full-time
                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.
                Senior Security Engineer
                Senior Security Engineer
                Apollo ResearchLondon, UK
                London, UK
                Yesterday
                Head of Cyber Safety
                Head of Cyber Safety
                Gray SwanRemote (US)
                Remote (US)
                1 week ago
                Principal Researcher, AI Security
                Principal Researcher, AI Security
                AliceRamat Gan, Israel
                Ramat Gan, Israel
                1 week ago
                Head of AI Red Teaming
                Head of AI Red Teaming
                Trajectory LabsBerkeley, CA
                Berkeley, CA
                1 week ago
                Lead, Frontier Red Team, Cyber
                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
                Security Engineer, Corporate IT
                ResolutionBerkeley, CA / London, UK / Remote
                Berkeley, CA / London, UK / Remote
                1 month ago
                Field Specialist, AI Hardware Security and Verification
                Field Specialist, AI Hardware Security and Verification
                AmodoSheffield, UK / London, UK
                Sheffield, UK / London, UK
                2 months ago
                Engineering Manager, Red Team
                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