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 $40/hour, commensurate with track record and demonstrated potential.
