B
Founding Engineering Lead
Accepting applicationsBurnin · New York, NY
Full-Time Mid_senior AIARMPythonaimentor
Posted
28 Apr
Category
Eda
Experience
Mid_senior
Country
United States
New York or London
AI will write most of the world's code. The interesting bottleneck is no longer whether a model can produce code; it is whether anyone should trust it. We are building the trust stack for AI code generation, targeted at high-stakes computing where wrong numbers cost real money.
A statically typed language designed for coding models. A compiler whose guarantees double as audit-grade trust infrastructure. A coding model fine-tuned on the language. None of this works without the engineering underneath: reproducible cross-platform builds, AI infrastructure that does not lie, and tooling AI agents and humans both reach for.
We are a small team out of PyTorch, FAIR, NYU, and KCL, with strong institutional VC support from our pre-seed and active investor interest heading into seed.
What you will do
Own the engineering across the company. Compiler internals, language runtime, GPU backends, notebook and library tooling. We already support x86 and ARM, CUDA and AMD, macOS and Linux, and the matrix only grows from here.
A meaningful share of the work is AI infrastructure: training pipelines, evaluation harnesses, model release and distribution, and likely public-facing inference services as the product surface expands. Build cross-platform release pipelines whose outputs we and our customers can audit. Set the bar for code quality, review standards, and the systems decisions that compound for years. Hire alongside the founders.
Who you are
You ship serious systems software. The role is mostly Rust with Python where it earns its place, plus the cloud and GPU surface around it. We are primarily on AWS.
You have a real feel for statically typed functional programming. You do not need to have written a compiler, but you should be the kind of engineer who picks up Lean or Haskell on a weekend because you wanted to.
You think about builds the way good security engineers think about supply chains. Reproducibility, provenance, and trust are not someone else's problem. Efficient high-trust builds are a feature of the product.
You have led engineering before, formally or not. You can set technical direction, mentor without micromanaging, and make the calls that get unblocked the next morning rather than the next quarter.
You are comfortable with early-stage ambiguity. The team is small. There is no engineering manager above you, because you are it.
Why join us?
You work directly with founders who have built infrastructure used across the industry. The surface area is broad and the work is real: compiler, runtime, training stack, libraries, notebooks. The equity reflects how early it is.
Show more Show less
AI will write most of the world's code. The interesting bottleneck is no longer whether a model can produce code; it is whether anyone should trust it. We are building the trust stack for AI code generation, targeted at high-stakes computing where wrong numbers cost real money.
A statically typed language designed for coding models. A compiler whose guarantees double as audit-grade trust infrastructure. A coding model fine-tuned on the language. None of this works without the engineering underneath: reproducible cross-platform builds, AI infrastructure that does not lie, and tooling AI agents and humans both reach for.
We are a small team out of PyTorch, FAIR, NYU, and KCL, with strong institutional VC support from our pre-seed and active investor interest heading into seed.
What you will do
Own the engineering across the company. Compiler internals, language runtime, GPU backends, notebook and library tooling. We already support x86 and ARM, CUDA and AMD, macOS and Linux, and the matrix only grows from here.
A meaningful share of the work is AI infrastructure: training pipelines, evaluation harnesses, model release and distribution, and likely public-facing inference services as the product surface expands. Build cross-platform release pipelines whose outputs we and our customers can audit. Set the bar for code quality, review standards, and the systems decisions that compound for years. Hire alongside the founders.
Who you are
You ship serious systems software. The role is mostly Rust with Python where it earns its place, plus the cloud and GPU surface around it. We are primarily on AWS.
You have a real feel for statically typed functional programming. You do not need to have written a compiler, but you should be the kind of engineer who picks up Lean or Haskell on a weekend because you wanted to.
You think about builds the way good security engineers think about supply chains. Reproducibility, provenance, and trust are not someone else's problem. Efficient high-trust builds are a feature of the product.
You have led engineering before, formally or not. You can set technical direction, mentor without micromanaging, and make the calls that get unblocked the next morning rather than the next quarter.
You are comfortable with early-stage ambiguity. The team is small. There is no engineering manager above you, because you are it.
Why join us?
You work directly with founders who have built infrastructure used across the industry. The surface area is broad and the work is real: compiler, runtime, training stack, libraries, notebooks. The equity reflects how early it is.
Show more Show less