Full-Stack Engineer

Beneficial AI Foundation

📍 Remote (Global) 🕔 Full Time
💰$55 USD /hour 🔄 Rolling Applications

This position involves working with Max Tegmark and colleagues at the Beneficial AI Foundation 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 core idea is to deploy not untrusted neural networks, but AI-written verified code implementing machine-learning algorithms and knowledge. The position can be either remote from anywhere or by MIT in Cambridge, Massachusetts.

Technical Skills Required:

• Excellent capacity for building web apps with PHP and MySQL

• Excellent knowledge of HTML/CSS/JS and responsive Web Design

• Solid understanding of Python

• Strong ability to read, understand and accurately implement Figma designs

• Firm grasp of best practices in engineering, architecture, security, and design for web apps

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

• Self-motivated and enjoys working fairly independently

• Has experience with React for building web applications

Responsibilities:

Build both public-facing and internal-facing features end to end, all the way from designing backend changes with MySQL and PHP to creating great responsive layouts for https://verilib.org/

Compensation:

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