Research Engineer

• 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.

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