Aug 22, 2024

Senior Compiler Engineer

San Francisco, CA
Remote
Full time
  • About The Job

    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 hello@delendum.xyz. 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.

Apply now

Senior Compiler Engineer

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

Thank you! Your submission has been received!
Oops! Something went wrong while submitting the form.