Proof Systems Integration Engineer

decircle

Proof Systems Integration Engineer at Fermah focusing on zk-rollup and zkVM technologies. Collaborating on integrations and enhancing proof systems with autonomy and ownership.

Posted 5/15/2026full-timeRemote • New York • 🇺🇸 United StatesJuniorWebsite

Tech Stack

Tools & technologies

Rust

About the role

Key responsibilities & impact

Integrating proof systems (zkVMs, Rollups, Bridges, etc.) in Rust
Enhancing existing integrations (e.g., adding CUDA support, multi-machine proof generation orchestration)
Writing clean, efficient, and testable Rust code following best practices

Requirements

What you’ll need

1-2 years of experience in Rust
Familiarity with different proof systems, zkVMs, ZK-rollups, bridges, etc
Strong communication and collaboration skills with an ownership mindset
Relevant open-source contributions in the field are a huge plus

Benefits

Comp & perks

Competitive salary and equity
Take-what-you-need vacation
Opportunity to work with a driven, talented, dedicated team that values collaboration, innovation, and making a strong positive impact
Culture built upon mutual respect, empathy, excellence and delivery

ATS Keywords

✓ Tailor your resume

Applicant Tracking System Keywords

Tip: use these terms in your resume and cover letter to boost ATS matches.

Hard Skills & Tools

RustCUDAproof systemszkVMsZK-rollupsBridgesmulti-machine proof generationclean codeefficient codetestable code

Soft Skills

communication skillscollaboration skillsownership mindset