Job Details

The successful candidate will be responsible for designing and implementing a backend compiler for LLVM to target the new ISA.

Job description

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. We are flexible with compensation for exceptional candidates.

Job responsibilities

1. Design and implement a backend compiler for LLVM to target the new ISA.
2. Ensure that the new virtual machine supports compilation from existing high-level programming languages.

Job requirements

1. Bachelor's, Master's or PhD's degree in Computer Science or a related field.
2. Strong programming skills in Rust and LLVM.
3. Proven experience in developing compilers, particularly backend compilers for LLVM.
4. Knowledge of computer architecture and virtual machine design.
5. Familiarity with computational soundness proofs and relevant algorithms.
6. Experience with high-level programming languages and compiler toolchains.
7. Strong problem-solving skills and attention to detail.