Beneficial AI Foundation

The Beneficial AI Foundation is dedicated to ensuring that powerful AI systems remain under human control. This position involves working with Max Tegmark and colleagues to enhance AI safety through formal verification, as discussed in Towards Guaranteed Safe AI. The role focuses on deploying AI-written verified code rather than relying on untrusted neural networks.

About the Role

Location: Remote (Anywhere) or MIT, Cambridge, Massachusetts
Compensation: Starting at $55/hour, based on experience and demonstrated potential

This role involves end-to-end development of both public-facing and internal-facing features for VeriLib. The developer will be responsible for backend and frontend tasks, ensuring best practices in engineering, architecture, security, and design.

Responsibilities

Qualifications and Skills

Technical Skills:

Ideal Candidate: