Finde einen Job 
Finde eine Ausbildung 
Top Arbeitgeber 
Top Universitäten 
Für Unternehmen Auf einen Blick
- Aufgaben: Join our Cryptography team as a Language Engineer, tackling programming challenges with Binius.
- Arbeitgeber: Irreducible accelerates the zero-knowledge revolution with fast proof generation for web3 networks.
- Mitarbeitervorteile: Enjoy a collaborative environment and potential relocation support to Berlin.
- Warum dieser Job: Be part of a cutting-edge startup shaping the future of cryptography and blockchain technology.
- Gewünschte Qualifikationen: Proficiency in Rust and experience in software engineering are essential; bonus for ZK circuit programming.
- Andere Informationen: We value diversity and inclusivity, fostering growth for all team members.
Das voraussichtliche Gehalt liegt zwischen 48000 - 84000 € pro Jahr.
Irreducible
Irreducible provides fast and cost-effective computation of zero-knowledge succinct proofs.
Irreducible’s mission is to accelerate the zero-knowledge revolution with the world’s fastest proof generation. Join us at Irreducible as we accelerate the ZK revolution by supporting web3 networks with reliable and cost-efficient proof generation. We’re a high-performance cryptography startup looking for a talented Language Engineer.
Role Overview
As a Language Engineer on the Cryptography team, you will work on the programming language layers on top of Binius, our binary field proof system. The challenges relate to expressing programs that can be proven and verified with Binius. You will work primarily on new initiatives at Irreducible that may involve the Binius constraint-programming framework, domain-specific languages, and compilation toolchains targeting verifiable virtual machines (VMs). You will work on a cross-functional team, collaborating with cryptographers, research engineers, and software engineers to build developer-friendly frontend technology on top of Binius.
Role Qualifications
- Significant professional software engineering experience
- Proficiency with Rust
- Experience with purely functional or logic programming languages
- Experience with programming language design or runtime implementation
- Understanding of software engineering best practices, especially testing
- Familiarity with zero-knowledge cryptography concepts
- Mathematical aptitude
Bonus Qualifications
- Experience with performance tuning and optimization
- Experience writing Rust procedural macros
- Experience implementing a compiler or working with compilation frameworks like LLVM
- Understanding of formal methods and proof assistants
- Familiarity with software design patterns
- Experience with ZK circuit programming
Locations supported:
We’re looking for candidates who are located between the USA East Coast and Central Europe time zones. We are also in the process of opening an office in Berlin and are excited to support relocation on a case-by-case basis.
About us:
We’re building out a high-performance, cost-efficient compute stack for advanced cryptographic proofs, specifically zk-SNARKs. Verifiable computing with zk-SNARKs is taking off as a solution to the scalability and privacy limitations that today’s blockchains suffer from. A new wave of blockchain protocols that use zk-SNARKs to prove smart contract executions are already in production.
Our team has cross-domain expertise and includes hardware designers, low-level systems software engineers, cryptography engineers, and data center specialists.
NOTE: We cannot sponsor visas of any kind at this time.
We are committed to creating a diverse and inclusive workplace where talented individuals can thrive and grow. We value the different perspectives, experiences, and backgrounds that each person brings to our team.
#J-18808-Ljbffr
Language Engineer, Cryptography Team Arbeitgeber: Irreducible
Kontaktperson:
Irreducible HR Team
StudySmarter Bewerbungstipps 🤫
So bekommst du den Job: Language Engineer, Cryptography Team
✨Tip Number 1
Familiarize yourself with the Binius proof system and its programming language layers. Understanding how to express programs that can be proven and verified will give you a significant edge in discussions during the interview process.
✨Tip Number 2
Brush up on your Rust programming skills, especially focusing on procedural macros and performance tuning. Being able to demonstrate your proficiency in Rust will be crucial, as it's a key requirement for this role.
✨Tip Number 3
Engage with the zero-knowledge cryptography community. Participating in forums or contributing to open-source projects related to zk-SNARKs can help you build relevant experience and show your passion for the field.
✨Tip Number 4
Prepare to discuss your experience with functional or logic programming languages. Highlighting your understanding of programming language design and runtime implementation will resonate well with the team at Irreducible.
Diese Fähigkeiten machen dich zur top Bewerber*in für die Stelle: Language Engineer, Cryptography Team
Tipps für deine Bewerbung 🫡
Understand the Role: Make sure to thoroughly read the job description for the Language Engineer position. Understand the specific skills and experiences required, especially in Rust and programming language design.
Highlight Relevant Experience: In your CV and cover letter, emphasize your professional software engineering experience, particularly any work related to functional programming languages or cryptography. Be specific about projects you've worked on that align with the responsibilities at Irreducible.
Showcase Your Skills: Demonstrate your proficiency in Rust and any experience with performance tuning, compiler implementation, or zero-knowledge cryptography concepts. Use concrete examples to illustrate your expertise.
Tailor Your Application: Customize your application materials to reflect the values and mission of Irreducible. Mention your interest in contributing to the zero-knowledge revolution and how your background aligns with their goals.
Wie du dich auf ein Vorstellungsgespräch bei Irreducible vorbereitest
✨Showcase Your Rust Proficiency
Make sure to highlight your experience with Rust during the interview. Be prepared to discuss specific projects where you've utilized Rust, especially in relation to performance tuning and optimization.
✨Demonstrate Understanding of Zero-Knowledge Concepts
Familiarize yourself with zero-knowledge cryptography concepts before the interview. Being able to explain these concepts clearly will show your potential employer that you are aligned with their mission and understand the challenges they face.
✨Discuss Programming Language Design Experience
If you have experience with programming language design or runtime implementation, be ready to discuss it in detail. This could include any domain-specific languages or compilation toolchains you've worked on, as this is highly relevant to the role.
✨Prepare for Cross-Functional Collaboration Questions
Since the role involves working with a cross-functional team, think about examples from your past experiences where you've successfully collaborated with engineers from different disciplines. Highlight how you contributed to team success and overcame challenges together.
