Posted 3 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 infrastr…
London, New York City
Create your own personalized Job Alert
