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.
