Lean + AI Safety at the Beneficial AI Foundation

Stream: job postings

[Alok Singh]

A description: https://www.beneficialaifoundation.org/jobs

The link: https://docs.google.com/forms/d/1irecYvgyrSR-5r8hN8qAXumheEuz02TtRgFp-QxYheY/viewform?edit_requested=true

---

We invite the interested:

This position involves working with me, Max Tegmark, and others 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 in the Bay Area/Cambridge, Massachusetts (MIT).

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

• Experience with both formal verification and machine learning

Annual compensation:

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