Member of Technical Staff - US Talent Pool
Core
Research and engineering role developing formal verification methods and novel post-training paradigms for large language models to ensure provably correct code.
Role type
Senior IC machine learning engineer (formal methods)
Builds
Novel post-training paradigms grounded in formal methods and tooling for correctness guarantees in production software engineering
Domain
AI research, formal verification, machine learning
Deliverable
production ML models
Required skills
Machine learning, formal methods, post-training large language models, specification-aware programming (Verus, Dafny, TLA+), proof assistants (LEAN, Isabelle), MLOps, multi-GPU cluster training, advanced software engineering practices
Preferred skills
Production back-end services at scale, distributed systems experience, formal verification or program synthesis contributions
Technologies
Verus, Lean, Dafny, TLA+, LEAN, Isabelle, Claude Code
Responsibilities
Design evals for state of the art coding models, develop novel post-training paradigms, build tooling to deliver correctness guarantees
Seniority
Senior, hands-on IC
