Research Engineer

Beneficial AI Foundation is looking for a Research Engineer. This position involves working with Max Tegmark and colleagues on turbocharging formal verification with AI tools. The core idea is to deploy AI-written verified code implementing formally-specified algorithms and protocols, rather than untrusted code generated by neural networks.

• Ensure that tools work well for verification projects from the perspective of verification engineers
• Build verification tooling such as parsers, analyzers, transpilers, tactics, profilers, and AI-assisted tools
• Support integrations between theorem provers, verification tools, and the platform
• Improve the usability, reliability, and performance of verification-related infrastructure

• Strong software engineering skills, with experience in AI systems building, CI/DevOps, and practical security engineering
• Strong interest in theorem provers, formal methods, or software verification
• Experience with automated proving or verification is important
• Experience building developer tools, compilers, analyzers, infrastructure, or similar systems is a plus
• Comfortable working independently and collaborating with scientific teams
• No Ph.D. required

Apply via the Google Form provided on the listing page. Submit your full name, email, brief summary of education/background, link to CV, LinkedIn profile (optional), description of interest in the position, and any additional information about why you're a good fit.