compilers Jobs

At Formal, we’re rethinking serverless from scratch: we’re building a new computing stack for instant, globally available, truly elastic, soundly isolated execution. We leverage formal methods and languages to build OS interfaces with low overhead, …

Hellas.AI is building a compiler for categorical deep learning to power decentralised, serverless AI. We're looking for an experienced Rust engineer. You must have demonstrated experience in designing and implementing BFT consensus protocols, abilit…