Beneficial AI Foundation
The Beneficial AI Foundation is dedicated to ensuring that artificial intelligence remains beneficial to humanity. The foundation works on advancing AI safety research, particularly in formal verification, to ensure powerful AI systems remain under human control.
About the Role
Location: Remote (Anywhere) or MIT, Cambridge, Massachusetts
Compensation: 💰 $70,000 – $250,000 USD per year (depending on experience).
This role involves working closely with Max Tegmark and colleagues at the Beneficial AI Foundation. The focus is on enhancing formal verification using AI tools, as described in their research and TED Talk on AI safety. The goal is to develop AI-written, verified code that implements machine-learned algorithms and knowledge—rather than relying on untrusted neural networks.
Responsibilities
- Conduct research in formal verification and AI safety.
- Develop AI-written, formally verified code.
- Work independently on projects related to machine learning, mathematics, and programming.
- Contribute to ensuring powerful AI systems remain under human control.
Qualifications
- PhD or significant experience in formal verification.
- Strong programming skills.
- Background in mathematics and machine learning.
- Passion for AI safety and a concern for the risks of AGI.
- Self-motivated and capable of working independently.
