Work With Top
Talent on AI Safety

Open Position:
AI Safety Research Engineer

This position involves working with Max Tegmark and Steve Omohundro on provable AI safety via formal verification, as described here (a high-level introduction is given in the 2nd half of this TED talk).  The position can be either remote or at MIT in Cambridge, Massachusetts.

The ideal candidate:

  • Want to ensure that powerful AI systems stay under human control

  • Concerned that AGI is not many decades away,  and that current AI safety approaches may be inadequate for such a transformative technology

  • Significant experience in formal verification or mathematical theorem proving, ideally with PhD or extensive work in the field

  • Strong programmer

  • Likes mathematics and machine learning

  • Self-motivated and enjoys working fairly independently

Annual compensation:

$70,000—$250,000 USD depending on experience

Open Position:
Full Stack Engineer

This position involves working with Max Tegmark and colleagues supporting the turbocharging of formal verification with AI tools as described here and in Towards Guaranteed Safe AI (a high-level introduction is given in the 2nd half of this TED talk). The position can be either remote or by MIT in Cambridge, Massachusetts.

The ideal candidate:

  • Wants to ensure that powerful AI systems stay under human control

  • Concerned that AGI is not many decades away, and that current AI safety approaches may be inadequate for such a transformative technology

  • Strong programmer

  • Has experience with React for building web applications

  • Self-motivated and enjoys working fairly independently

Hourly compensation:

Starting at $55/hour, commensurate with track record and demonstrated potential