Build tools for computations on digital and virtual machines, focusing on ZK constraint systems and targeting custom cryptographic processors.
Join our client as they accelerate the ZK revolution, supporting web3 networks with reliable and cost-efficient proof generation. They are a high-performance cryptography startup with an exciting hardware twist looking for a talented Compiler Engineer.
About the role:
As a Senior Compiler Engineer, you will build tools to express computations on two types of novel machines, one digital and one virtual. The goals in these areas of our tech stack are:
Expression of verifiable programs with ZK constraint systems.
Translation of algorithms to target a custom cryptographic processor running on an FPGA.
You will work closely with the hardware and cryptography teams to define both the instruction sets and high-level program representations. The tools you build may be embedded programming languages, special-purpose compilers, and machine emulators. This work will have a direct impact on Irreducible’s success by improving the product’s developer experience, performance, and security.
Qualifications:
- Proficiency in Rust
- Functional programming
- Experience writing CPU assembly code
- Experience writing virtual machine interpreters or emulators
- Strong written and verbal communications skills
- Ability to think across layers of abstractions
- Understanding of technology tradeoffs and a pragmatic approach to problem solving
- Desire to work in a fast-paced startup environment
Bonus Qualifications:
- Familiarity with WebAssembly or RISC-V
- Experience writing compilers
- Experience with non-standard ISAs
- Experience with hardware accelerators for AI/ML
- Understanding of formal verification techniques
- Understanding of zero-knowledge cryptography
What We Offer:
- Competitive salary and benefits package.
- Opportunity to work with a passionate and innovative team.
- Flexible working hours and remote work options (Relocation Support to Berlin)
- Professional growth and development opportunities.
- A collaborative and inclusive company culture.
Top Skills
Cpu Assembly
Emulators
Risc-V
Rust
Virtual Machine Interpreters
Webassembly
Similar Jobs
Artificial Intelligence • Cloud • Sales • Security • Software • Cybersecurity • Data Privacy
The role involves selling SailPoint's Agentic Technology solutions to enterprise accounts, ensuring customer satisfaction, and executing effective sales strategies.
Top Skills:
Agent Identity SecurityCloud Data PlatformsCloud TechnologiesData Access SecurityIaasMachine Identity Security
Artificial Intelligence • Cloud • Sales • Security • Software • Cybersecurity • Data Privacy
Lead a UK-based remote engineering team to design and build capabilities for the Atlas platform, focusing on team management, project planning, and coaching engineers.
Top Skills:
Go
Artificial Intelligence • Cloud • Sales • Security • Software • Cybersecurity • Data Privacy
The role involves selling SailPoint's Agentic technology solutions to major accounts, requiring deep relationship building, strategic planning, and consultative selling skills in cybersecurity and data governance.
Top Skills:
Cloud TechnologiesCybersecurityData Access SecurityIdentity SecuritySalesforce
What you need to know about the London Tech Scene
London isn't just a hub for established businesses; it's also a nursery for innovation. Boasting one of the most recognized fintech ecosystems in Europe, attracting billions in investments each year, London's success has made it a go-to destination for startups looking to make their mark. Top U.K. companies like Hoptin, Moneybox and Marshmallow have already made the city their base — yet fintech is just the beginning. From healthtech to renewable energy to cybersecurity and beyond, the city's startups are breaking new ground across a range of industries.
