Recent jobs where this technology appears in the post.
Burnin
Posted 4 weeks ago
We are building the trust stack for AI code generation for high-stakes computing where wrong numbers cost real money: a statically typed functional language designed for coding models, a compiler whose guarantees double as audit-grade trust infrastructure, an…
London, New York City
