Senior Compiler Engineer

Mar 15th, 2023

We are looking for a Senior Compiler Engineer to join our team to develop a virtual machine optimized for generating succinct proofs of computational soundness. The successful candidate will be responsible for designing and implementing a backend compiler for LLVM to target the new ISA.



If you’re passionate about virtual machine design, compiler development, and algorithm optimization and you’re looking for a challenging new opportunity please submit your resume to We are flexible with compensation for exceptional candidates.