AI-enhanced for better readability
Burnin - Founding Research Scientist & Founding Engineering Lead
Location: London or NYC | Type: Hybrid (Some on-site) | Employment: Full-time
We are building the trust stack for AI code generation, targeted at high-stakes computing where wrong numbers cost real money. This includes:
- A statically typed functional language designed for coding models.
- A compiler whose guarantees double as audit-grade trust infrastructure.
- A coding model fine-tuned on the language with compiler fitness as the training signal.
The language and model are co-designed.
We are a small team with backgrounds from PyTorch, FAIR, and Meta. We have strong institutional VC support from our pre-seed and active investor interest heading into seed.
About the Role
Founding Research Scientist
Responsibilities:
- Own the agenda across the language and the model.
- Type system design.
- Compiler analyses that produce useful fitness gradients.
- Fine-tuning open-weight coding models on a language with no pretraining footprint.
- Publish in PL and ML venues.
Requirements:
- Strongest fits cross between machine learning, programming languages, and formal methods.
- PhD preferred, equivalent output equally fine.
- Experience with Rust, Lean 4, and Python.
Founding Engineering Lead
Responsibilities:
- Own engineering across compiler internals, language runtime, GPU backends, notebook and library tooling, and the AI infrastructure around training, evaluation, model release, and likely public inference.
- Support x86 and ARM, CUDA and AMD, macOS and Linux.
Requirements:
- Real feel for statically typed functional programming expected.
- Experience leading engineering, formally or not.
- Experience with Rust (mostly) and Python (where it earns its place), primarily on AWS.
Both Roles:
- Comfortable with early-stage ambiguity.
- Ability to define your own roadmap and defend it with evidence.
Apply
- Founding Research Scientist: https://wellfound.com/l/2Carrr
- Founding Engineering Lead: https://wellfound.com/l/2CewDC