Hellas.AI

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, ability to engage with academic literature on distributed systems, and understanding of ZK proofs and proof aggregation. Nice-to-have: interest or experience in Deep Learning / ML / AI, GPU programming, compilers and array programming languages, category theory and string diagrams. If you have project(s) demonstrating your experience in one or more of these areas, get in touch! Our process is simple: we read code you've written and research you've published, then interview you about it. We don't do tedious coding tests.