AI Alignment Research Engineer: Formal Methods

Acceler8 Talent; San Francisco (CA); On-site; USD 120,000 - 180,000; Full time

Job summary

Acceler8 Talent seeks a Research Engineer to bring formal methods and rigorous reasoning to frontier AI alignment research. You will apply ideas from formal verification, program analysis, and compilers to understand and constrain model behavior, building practical research systems from scratch.

PhD strongly preferred, but deep technical creativity matters most. The environment is small, experimental, and highly technical, offering room to shape a new direction in AI safety and interpretability.

Qualifications

• Strong background in compilers or systems engineering.
• Experience with formal verification or theorem proving.
• Security research or operating systems exposure.
• Research engineering with strong abstraction skills.

Responsibilities

• Apply formal verification and program analysis to model internals.
• Build structured reasoning frameworks for interpretability research.
• Explore compiler-style abstractions for neural computations.
• Develop tooling that combines interpretability with verification-inspired constraints.
• Shape an entirely new research direction inside the lab.

Skills

Formal methods

Compiler/Systems engineering

Verification / theorem proving

Abstraction in research engineering

Education

PhD strongly preferred

Job description

Acceler8 Talent seeks a Research Engineer to bring formal methods and rigorous reasoning to frontier AI alignment research. You will apply ideas from formal verification, program analysis, and compilers to understand and constrain model behavior, building practical research systems from scratch.

PhD strongly preferred, but deep technical creativity matters most. The environment is small, experimental, and highly technical, offering room to shape a new direction in AI safety and interpretability.