We are looking for a Senior Software Engineer who can turn ideas into reliable, beautifully written code that others will find easy to comprehend and modify. You have a fundamental understanding of distributed systems and how Linux works behind the scenes. While this is not strictly a theory position, you should also be able to demonstrate some experience and comprehension of zero-knowledge proofs. All additional experience in low-level systems is considered to your benefit.
- Integrate new prover programs to run on Gevulot Network
- Work closely with us as we build additional features, functionality, and applications
- Understand Gevulot infrastructure in detail to ideate and execute areas of improvement
- Implement and contribute to engineering practices and processes
- 2+ years of experience in Rust, through official work or personal projects
- Experience with working zero knowledge prover code, e.g.: zk-SNARK, STARK, or zkevm
- You should also have some familiarity with ZK components: circuits, commitment schemes, finite field math, serialization
- Ability to quickly learn complex systems
- Ability to creatively solve new and complex problems
- Ability to proactively identify issues and find possible solutions
- Fluent and active communication skills in English
- Experience and interest in distributed systems, P2P networking, virtualization, and unikernels
- Curiosity for blockchain/cybersecurity
- Familiarity with Linux internals, POSIX standards, file systems, and zero-knowledge cryptography
- C++
- NixOS, Packer or other VM image build system experience
- Docker experience
- Linux on x86-64
- Nanos unikernel
- QEMU
- gRPC over VSOCK
- Rust
- Postgresql
- Node.js
- Fully remote position
- Competitive salary
- Significant responsibility from day 1
- Fast growth environment with opportunities for professional development
- Minimal amount of meetings
- Free-ish working hours (Some overlap availability needed with EET)
- Opportunity to work on the cutting edge of Zero Knowledge infrastructure
- Opportunity to gain experience in the blockchain industry and development without prior industry experience