Member of Technical Staff

Own a piece of the stack between frontier models and proof assistants: environments, graders, translation pipelines, and the tooling that keeps 200k lines of proof honest.