> Markdown version of [/jobs/ext/2718935-fermah-proof-systems-integration-engineer](https://www.wearedevelopers.com/jobs/ext/2718935-fermah-proof-systems-integration-engineer). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

# Fermah - Proof Systems Integration Engineer

- **Company:** Ferma Corporation
- **Location:** New York, NY, United States (Remote available)
- **Experience:** Starter
- **Contract:** Permanent contract
- **Skills:** Nvidia CUDA, Systems Integration, Rollup, Free and Open-Source Software
- **Published:** September 4, 2026
- **Apply:** https://startup.jobs/fermah-proof-systems-integration-engineer-decircle-8349874

## About the Role

* 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

## Description

* 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


## Related Videos

- [Coffee with Developers - Stephen Jones - NVIDIA](https://www.wearedevelopers.com/videos/1303-coffee-with-developers-stephen-jones-nvidia)
- [Rust in the Real World: Adoption, Migration, and Tradeoffs](https://www.wearedevelopers.com/videos/100147-rust-in-the-real-world-adoption-migration-and-tradeoffs)
- [Justice for All! Diving into JsTz, a Native JavaScript Environment for Web3 Development](https://www.wearedevelopers.com/videos/1586-justice-for-all-diving-into-jstz-a-native-javascript-environment-for-web3-development)
- [AI Agents & Agentic AI](https://www.wearedevelopers.com/videos/2017-ai-agents-agentic-ai)
- [Schroedinger's cat: Thinking in- and outside the box of quantum mechanics](https://www.wearedevelopers.com/videos/216-schroedinger-s-cat-thinking-in-and-outside-the-box-of-quantum-mechanics)
- [The weekly developer show: Boosting Python with CUDA, CSS Updates & Navigating New Tech Stacks](https://www.wearedevelopers.com/videos/1293-the-weekly-developer-show-boosting-python-with-cuda-css-updates-navigating-new-tech-stacks)

## Related Articles

- [How We Built a Worry-Free System That Runs for 10+ Years – And What We’d Do Again](https://www.wearedevelopers.com/magazine/751-how-we-built-a-worry-free-system-that-runs-for-10-years-and-what-we-d-do-again)
- [Building AI Solutions with Rust and Docker](https://www.wearedevelopers.com/magazine/494-building-ai-solutions-with-rust-and-docker)
- [The Best X (Twitter) Accounts for Developers](https://www.wearedevelopers.com/magazine/294-the-best-x-twitter-accounts-for-developers)
- [Fully Remote Software Engineer Jobs](https://www.wearedevelopers.com/magazine/447-fully-remote-software-engineer-jobs)
- [Dev Digest 121 - AI goes offline](https://www.wearedevelopers.com/magazine/456-dev-digest-121-ai-goes-offline)
- [How Much FAANG Companies Actually Pay Software Engineers in 2025](https://www.wearedevelopers.com/magazine/230-how-much-faang-companies-actually-pay-software-engineers-in-2025)