What we're looking for

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.

Responsibilities

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

Qualifications

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

Preferred Skills

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

Stack

Linux on x86-64
Nanos unikernel
QEMU
gRPC over VSOCK
Rust
Postgresql
Node.js

What we offer

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

What we're looking for

Qualifications

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

Preferred Skills

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

What we offer

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