You have opted out of job matches in .
To undo this, go to the 'Skills and Interests' section of your preferences.
Posted 7 months ago
Requirements and responsibilities
Job DescriptionJoin 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.QualificationsProficiency in RustFunctional programmingExperience writing CPU assembly codeExperience writing virtual machine interpreters or emulatorsStrong written and verbal communications skillsAbility to think across layers of abstractionsUnderstanding of technology tradeoffs and a pragmatic approach to problem solvingDesire to work in a fast-paced startup environmentBonus QualificationsFamiliarity with WebAssembly or RISC-VExperience writing compilersExperience with non-standard ISAsExperience with hardware accelerators for AI/MLUnderstanding of formal verification techniquesUnderstanding of zero-knowledge cryptographyWhat We OfferCompetitive 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.AI DisclaimerWe may use artificial intelligence (AI) tools to support parts of the hiring process, such as reviewing applications, analyzing resumes, or assessing responses. These tools assist our recruitment team but do not replace human judgment. Final hiring decisions are ultimately made by humans. If you would like more information about how your data is processed, please contact us.
Optionally, you can add more information later (benefits, pre-screening questions, etc.)