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
Blockchain • Fintech • Payments • Consulting • Cryptocurrency • Cybersecurity • Quantum Computing
The Systems Platform Engineer I supports Storage and Backup deployments, troubleshooting, maintenance, and providing technical expertise across teams while ensuring compliance and documentation.
Top Skills:
BackupCohesity NetbackupDatabase Systems AdministrationDellHpPureSanStorageUnixVeritas
Artificial Intelligence • Machine Learning • Natural Language Processing • Software • Conversational AI
The EMEA Sales Leader will drive the company's expansion in the region, establish sales pipelines, develop partnerships, and oversee the sales team.
Top Skills:
AIB2B SaasMachine LearningSales Management
Information Technology • Security • Software • Cybersecurity • App development • Data Privacy
The Director of Data & Analytics will lead a multidisciplinary team, unify the analytics strategy, and oversee data governance and platform evolution to enhance decision-making and business impact at MacPaw.
Top Skills:
AIBi ToolsCRMData AnalyticsData EngineeringData WarehousesMartechMlModern Data Stacks
What you need to know about the NYC Tech Scene
As the undisputed financial capital of the world, New York City is an epicenter of startup funding activity. The city has a thriving fintech scene and is a major player in verticals ranging from AI to biotech, cybersecurity and digital media. It also has universities like NYU, Columbia and Cornell Tech attracting students and researchers from across the globe, providing the ecosystem with a constant influx of world-class talent. And its East Coast location and three international airports make it a perfect spot for European companies establishing a foothold in the United States.
Key Facts About NYC Tech
- Number of Tech Workers: 549,200; 6% of overall workforce (2024 CompTIA survey)
- Major Tech Employers: Capgemini, Bloomberg, IBM, Spotify
- Key Industries: Artificial intelligence, Fintech
- Funding Landscape: $25.5 billion in venture capital funding in 2024 (Pitchbook)
- Notable Investors: Greycroft, Thrive Capital, Union Square Ventures, FirstMark Capital, Tiger Global Management, Tribeca Venture Partners, Insight Partners, Two Sigma Ventures
- Research Centers and Universities: Columbia University, New York University, Fordham University, CUNY, AI Now Institute, Flatiron Institute, C.N. Yang Institute for Theoretical Physics, NASA Space Radiation Laboratory
