Member of Technical Staff - HU
Core
Developing novel training approaches and formal methods to enable provably correct code generated by AI, intersecting machine learning with formal verification.
Role type
Research and engineering IC specializing in formal methods and machine learning
Builds
Tooling for correctness guarantees in production software engineering and novel post-training paradigms for large language models
Domain
AI research, formal verification, and software engineering
Deliverable
production ML models | product features
Required skills
Machine learning expertise, formal methods expertise, large-scale ML experiment execution, post-training large language models, advanced software engineering practices, MLOps tools, multi-GPU cluster training, specification-aware programming (Verus, Dafny, TLA+), proof assistants (LEAN, Isabelle)
Preferred skills
Contributions to formal verification or program synthesis, production back-end service experience at scale, distributed systems accountability
Technologies
Verus, Lean, Dafny, TLA+, LEAN, Isabelle, Claude Code, multi-GPU clusters
Responsibilities
Design evals for state-of-the-art coding models, develop novel post-training paradigms grounded in formal methods, build tooling to deliver correctness guarantees in production software engineering
Seniority
Early-stage team, entry point requires depth in ML or formal methods
