Job Description

Founding Research Scientist: own the agenda across the language and the model. Responsibilities include type system design, compiler analyses that produce useful fitness gradients, and fine-tuning open-weight coding models on a language with no pretraining footprint. Publish in PL and ML venues. Strongest fits sit at the intersection of machine learning, programming languages, and formal methods. PhD preferred, equivalent output equally fine. Stack is Rust, Lean 4, Python. This is a founding team role; you will define your roadmap and defend it with evidence. Note: this posting also includes the Founding Engineering Lead role.