Research Engineer
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.
Research Engineer
Beneficial AI Foundation · Added 11 days ago
Applications are handled by the employer or external application platform. AI Safety Careers does not process applications directly.
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.
This listing may be aggregated from a public source or submitted by a third party. If you represent this employer and would like to update or remove this listing, contact support@aisafetycareers.com.