Effective altruism
opportunities board
Work on the world's most pressing problems. Browse jobs, fellowships, internships, courses, and more at high-impact organisations.
AI Safety Research Scientist
Beneficial AI FoundationRemote from anywhere or Cambridge, Massachusetts
1 month ago
Routes to impact
Direct high impact on an important cause
Skill-building & building career capital
Description
For experienced researchers in formal verification who want to help ensure advanced AI systems remain under human control.
- Research focus – Develop AI-assisted formal verification methods, working with Max Tegmark and collaborators to build AI-written, verified code for safe systems
- Impact – Contribute to approaches aimed at guaranteeing safety for transformative AI, including work outlined in Towards Guaranteed Safe AI
- Environment – Work remotely worldwide or in Cambridge, MA near MIT, with high autonomy and collaboration
- Compensation – $70,000–$180,000 USD per year depending on experience and qualifications
Ideal for strong programmers with deep experience in formal verification (PhD or equivalent experience), who are motivated by mathematical rigor and long-term AI safety challenges.
This text was generated by AI. If you notice any inconsistencies, please let us know using this form
Related opportunities
Research Scientist
Truthful AIBerkeley, California (preferred) or remote (US or international)
3 days ago
List of Internship & Residency Programs – ML and Software Engineering [Compiled by 80,000 Hours]
80,000 Hours (80K)Mixed Locations
8 months ago
Submit Your Profile to the High-Impact Talent Directory
High Impact Professionals (HIP)Remote
8 months ago
Research Manager
Cambridge Boston Alignment InitiativeCambridge, Massachusetts (primarily in-person, some hybrid flexibility)
2 weeks ago
Join 60k subscribers and sign up for the EA Newsletter, a monthly email with the latest ideas and opportunities