Language Engineer - Cryptography Team
Irreducible
- Location
- Croatia
- Posted
Join Irreducible's Cryptography team as a Language Engineer, working on programming language layers for Binius, a binary field proof system.
Remote Jobs
Software Engineer
Douro Labs
- Location
- Brazil
- Posted
- Salary Range
- 120k - 180k USD
Build DeFi infrastructure by developing smart contracts, SDKs, and tools. Collaborate globally, shape product direction, and thrive in a dynamic startup environment with remote flexibility.
Software Engineer
Figma
- Location
- United States of America
- Posted
- Salary Range
- 149k - 350k USD
Design and build scalable infrastructure for Figma's tools, secure networks, develop service meshes, and mitigate DDoS threats while working on cutting-edge technologies to support our growing customer base.
Software Engineer
The Athletic Media Company
- Location
- Canada
- Posted
- Salary Range
- 120k - 140k USD
Join The Athletic as a Full-Stack Engineer to build innovative solutions for sports media, focusing on growth features and scalable backend systems. Work remotely with a global team and enjoy competitive benefits.
Software Engineer
360Learning
- Location
- Spain
- Posted
Full-stack developer for LMS platform with flexible remote work options and comprehensive benefits package
Software Engineer
Planet
- Location
- Slovenia
- Posted
Join Planet as a Software Engineer and contribute to innovative systems that extract insights from satellite imagery for applications in agriculture, forestry, climate, land management, and more.
Software Engineer
Enode
- Location
- Croatia
- Posted
Join Enode as a Mid-Level Engineer and accelerate the transition to a sustainable energy system
Software Engineer
Adaptavist
- Location
- South Africa
- Posted
Join The Adaptavist Group as a Software Engineer to build and maintain cloud products using AWS, collaborate with teams, and deliver reliable solutions in the Atlassian ecosystem.
Software Engineer
Gauntlet
- Location
- United States of America
- Posted
- Salary Range
- 160k - 200k USD
Join Gauntlet as a Software Engineer to develop Aera's treasury management platform. Collaborate on cutting-edge DeFi solutions, leverage Python expertise, and enjoy comprehensive benefits including remote flexibility and wellness support.
Software Engineer
Figma
- Location
- United Kingdom
- Posted
Figma developer tools role: build Dev Mode, collaborate on new products, mentor peers & drive solutions with React, Typescript & Ruby/Sinatra.
Senior Engineer
Athennian
- Location
- Canada
- Posted
Senior Engineer at Athennian: Design scalable software solutions, mentor junior engineers, and drive technical excellence in a fast-paced startup environment.
BackEnd Engineer
Udacity
- Location
- United States of America
- Posted
- Salary Range
- 120k - 120k USD
Backend Software Engineer at Udacity: build scalable microservices with production quality, participate in design reviews, and manage cloud resources.
English Physics content creator
Khan Academy
- Location
- India
- Posted
Create Physics content aligned with Indian curriculum for Grades 11-12, contributing to Khan Academy's mission of providing free, world-class education through videos and practice questions.
Implementation Engineer
Level AI
- Location
- United States of America
- Posted
Coordinate SaaS instance setups, manage technical configurations, and ensure successful customer onboarding at Level AI. Work with cross-functional teams to mitigate risks and deliver high-quality implementations.
Security Engineer
WorkOS
- Location
- United States of America
- Posted
- Salary Range
- 175k - 250k USD
Join WorkOS as a Security Engineer to enhance our security infrastructure, ensuring the safety of authentication and identity solutions for thousands of SaaS customers. Lead security projects, mentor teams, and implement best practices using tools like SCA, SAST, DAST, and CNAPP.
Security Engineer
Wealthfront
- Location
- United States of America
- Posted
- Salary Range
- 140k - 160k USD
Join Wealthfront's Security Engineering team as a security-minded engineer to build and mature security solutions in a fast-growing fintech organization.
Node.js Engineer
Oddball
- Location
- United States of America
- Posted
- Salary Range
- 100k - 140k USD
Node Engineer position at Oddball, developing AWS Lambda functions and cloud-based architecture, with flexible remote work and competitive compensation.
Data Engineer
Reka
- Location
- Singapore
- Posted
Join Reka as a Data Engineer to build scalable data pipelines, collaborate with researchers and engineers on cutting-edge AI projects, and contribute to the development of multimodal foundation models using tools like Python, Hadoop, Spark, AWS, Azure, Google Cloud, Docker, and Kubernetes. Enjoy benefits including 4 weeks paid leave, visa support, and comprehensive healthcare.
Data Engineer
Yuno
- Location
- Chile
- Posted
Data Engineer at Yuno: Design & build scalable data pipelines, collaborate with teams, & drive innovation in payment infrastructure.
Data Engineer
Pagos
- Location
- Croatia
- Posted
Build and maintain scalable data pipelines using technologies like SQL, Redshift, Apache Spark, and cloud platforms. Collaborate with backend engineers and contribute to our payments platform.
Language Engineer - Cryptography Team
Irreducible
Job Location
CroatiaDenmarkEstoniaFinlandFranceGeorgiaGermanyGreeceMaltaAndorraArmeniaAustriaAzerbaijanBelgiumBulgariaCyprusSwedenSlovakiaSloveniaLatviaLithuaniaLuxembourgMacedonia, Republic ofNetherlandsNorwayPolandRomaniaSpainTurkeyUkraineCzech RepublicAlbaniaBelarusLiechtensteinMonacoMontenegroUnited KingdomUnited States of AmericaBosnia and HerzegovinaMoldovaPortugalRussian FederationSan MarinoSerbiaHungaryIcelandIrelandItaly
Job Summary
Irreducible is a team of innovators pushing the boundaries of cryptographic computing. They are looking for a Language Engineer to join their Cryptography team in Berlin, working on programming language layers on top of Binius, a binary field proof system. The role involves expressing programs that can be proven and verified with Binius, collaborating with cross-functional teams, and contributing to research publications. Irreducible values diversity, inclusivity, and talent, offering flexible remote work options, relocation support, and equity in a fast-growing company. As a Language Engineer, you will work on new initiatives, simplify complexity, and execute with precision to build category-defining technology.
Irreducible is a team of innovators pushing the boundaries of cryptographic computing. Join us as we accelerate the ZK revolution by supporting web3 networks with the world's fastest, most reliable, and cost-efficient proof generation through cryptographic software and hardware codesign. We challenge conventional wisdom, simplify complexity, and execute with precision to build category-defining technology. As we continue to scale, we are looking for a talented Language Engineer to join our Cryptography team in Berlin.
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. There may be opportunities to contribute directly to Irreducible’s research publications.
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. Once our office is open, we plan to bring the whole company together for ~one week per quarter in Berlin.
We have a globally distributed company, and ensuring the team works in a cohesive way is our main goal.
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, such as Polygon zkEVM, Starknet, and zkSync, are already in production. We believe there is a big market opportunity to generate proofs for these networks at scale in a cost-effective way [1]. There are lots of interesting performance engineering challenges we need to solve to keep up with the maximum device throughput.
We take the approach of co-designing hardware and software systems to accelerate SNARK generation end-to-end. Our first-generation tech stack uses FPGA accelerators running custom digital logic tailor-made for our use case [2].
We also conduct cryptography research to identify computationally efficient algorithms for verifiable computing. These research efforts produced a novel cryptographic construction based on towers of binary fields called Binius [3] [4], which we are currently developing into a production-grade system.
Our team has cross-domain expertise and includes hardware designers, low-level systems software engineers, cryptography engineers, and data center specialists, several of whom worked in HFT previously.
[1] https://www.paradigm.xyz/2022/04/zk-hardware
[2] https://www.ulvetanna.io/news/fpga-architecture-for-goldilocks-ntt
[3] https://www.ulvetanna.io/news/binius-hardware-optimized-snark
[4] https://cointelegraph.com/news/vitalik-buterin-explains-binius-improve-zero-knowledge-proofs
[5] https://www.ulvetanna.io/news/introducing-ulvetanna
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. Even if you don't fit 100% of the job's necessary qualifications, we'd still love to hear from you.
To all recruitment agencies: Irreducible does not accept agency resumes. Please do not forward resumes to our jobs alias, Irreducible employees, or any other organisation location. Irreducible is not responsible for any fees related to unsolicited resumes. Please read our full policy here.
