Posted 1 week, 3 days 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…
Posted 1 month, 1 week ago
Founding research role to own the research agenda: invariant learning (extracting implicit codebase rules for real-time grading), continuous-time evaluation design (investigating why LLM agents fail under temporal pressure), and new environment desi…
Remote (US East Coast/Europe), London, NYC