Research Engineer

Beneficial AI Foundation

Last seen in the source feed: Oct 10, 2026.

Source listings can change. Check the employer's page for current availability and application requirements.

Job description

Develop and improve open-source verification tooling and infrastructure for 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.
Improve usability, reliability, and performance of verification-related infrastructure.

This role advances AI safety by creating tools that enable guaranteed bug-free code, reducing risks from software errors in critical systems.

Experience building verification tools (parsers, analyzers, transpilers, etc.).
Knowledge of formal verification and theorem provers.
Proficiency in programming languages used for tooling (e.g., Python, Rust, or similar).
Ability to work with AI-assisted components.

Compensation and benefits not specified in the description.

Website

Beneficial AI Foundation focuses on ensuring AI systems are safe and beneficial through open-source verification tooling and infrastructure.

Draft a cover letter for this role or practise the questions you are likely to be asked.

Describe what you want and get your strongest matching jobs by email.