Job description
Beneficial AI Foundation • Remote
Remote, Global
$30 - $70 per hour
-
In this role, you'll develop and improve open-source verification tooling and infrastructure that enables the production of guaranteed bug-free code through AI-assisted formal verification.
-
Build verification tools such as parsers, analyzers, transpilers, tactics, profilers, and AI-assisted components.
-
Support integrations between theorem provers, verification tools, and the platform.
-
Ensure tools meet the needs of verification engineers working on verification projects.
-
Improve the usability, reliability, and performance of verification-related infrastructure.
The Beneficial AI Foundation aims to keep AI beneficial for generations to come. It supports a broad range of technical AI safety research though staff research, university partnerships and its Buterin Fellowship program.
Applications are handled by the employer.
AI Safety Careers does not process applications directly.