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
Senior iOS Engineer
Goodnotes
- Location
- Malaysia
- Posted
Lead engineer at Goodnotes, building scalable solutions with Swift, SwiftUI, and React.
Senior iOS Engineer
Avara
- Location
- United States of America
- Posted
- Salary Range
- 150k - 250k USD
Lead iOS SDK development for Avara's blockchain products, focusing on fintech and crypto applications. Collaborate with a global team to build impactful solutions in the crypto space.
Project Manager
CoinsPaid
- Location
- Croatia
- Posted
Project Manager for cryptocurrency payments gateway CoinsPaid
Project Manager
Welocalize
- Location
- Japan
- Posted
Remote Project Manager for Japan-based corporate clients, responsible for project planning, execution, tracking, delivery, and closure, with a focus on quality, innovation, and global teamwork.
Project Manager
Finalsite
- Location
- United States of America
- Posted
Join Finalsite as a Project Manager and lead the successful implementation of clients' multifaceted projects. Work remotely from anywhere within the US with flexible options, $4,000/year travel stipends, and equity in a fast-growing company.
Project Manager
Finalsite
- Location
- United States of America
- Posted
Join Finalsite as a Project Manager and lead the successful implementation of clients' multifaceted projects. Collaborate with cross-functional teams and utilize project management software to deliver projects on time and within budget.
Project Manager - AI
Binance
- Location
- Brunei Darussalam
- Posted
AI Project Manager at Binance: Manage AI projects, develop proof-of-concept models, and optimize performance.
Privileged Access Management Engineer (PAM)
Binance
- Location
- Taiwan, Republic of China
- Posted
Privileged Access Management Engineer (PAM) for Identity Access Management solutions, security assessments, and system administration at Binance.
Senior Python Engineer
Podium
- Location
- Brazil
- Posted
Join Podium as a Senior Backend Python Engineer to build AI-driven solutions using large language models, empowering local businesses with efficient customer interactions and optimizing their operations. Contribute to cutting-edge projects in a remote-friendly environment with comprehensive benefits.
Software Engineer / Accounting & Reconciliation / TypeScript & Rust
Cryptio
- Location
- France
- Posted
Join Cryptio as a Software Engineer to build crypto, finance, and accounting reconciliation products. Develop robust solutions for cost basis and PnL computations, maintain automated reconciliation tools, and create high-performance reporting pipelines using Rust, TypeScript, PostgreSQL, Kubernetes on AWS, Docker, GitLab. Solve complex financial challenges in the cryptocurrency space with a fully-remote/hybrid work option and comprehensive benefits.
Manager, Data Engineer
Nutrafol
- Location
- United States of America
- Posted
- Salary Range
- 130k - 145k USD
Data Engineer at Nutrafol: Develop impactful data features, collaborate with cross-functional teams, and drive business decisions.
Manager - Data Engineer
Nutrafol
- Location
- United States of America
- Posted
- Salary Range
- 130k - 145k USD
Transform business requirements into technical solutions, enhance database design, and support data-driven decisions at Nutrafol as a Data Engineer. Work with cross-functional teams to gather insights and ensure high-quality data for strategic initiatives.
Marketing Project Manager
CoinsPaid
- Location
- Croatia
- Posted
Marketing Project Manager at CoinsPaid: lead dynamic projects, coordinate teams, and deliver high-quality results in a fast-growing crypto payments company.
iOS Engineer - Poe (Remote)
Quora
- Location
- Canada
- Posted
- Salary Range
- 128k - 234k USD
Join Quora as an iOS Engineer to build the future of AI and mobile platforms, collaborate with a talented team, and create innovative solutions that make the world programmable.
Senior Backend Engineer - Tumblr
Automattic
- Location
- Brazil
- Posted
- Salary Range
- 70k - 170k USD
Work on the backend of Tumblr, contributing to features used by millions. Collaborate with teams globally, focusing on scalability and performance while enjoying flexible work options and professional growth opportunities.
Chat Associate
Clipboard Health
- Location
- Anywhere in the world
- Posted
- Salary Range
- 480k - 780k USD
Join Clipboard Health as a Chat Associate to enhance marketplace safety and reliability through effective communication and problem-solving. Collaborate cross-functionally to improve customer experiences and maintain high-quality operations in a remote setting.
Machine Learning Engineer - Advertiser Planning, Forecasting, and Recommendations
- Posted
- Salary Range
- 148k - 206k USD
Build state-of-the-art machine learning systems at Reddit to enhance advertiser experiences through automation and optimization. Collaborate with cross-functional teams to leverage live auction data and advanced techniques for boosting revenue and advertiser value.
Sales Engineer
Broadvoice
- Location
- Brazil
- Posted
Manage sales engineering activities for Broadvoice's Contact Center solutions, leading pre-sales efforts and contributing to the company's growth in Colombia.
Sales Engineer
UpGuard
- Location
- Ireland
- Posted
Join UpGuard as a Sales Engineer and support customers during trials and POCs, driving product activation and contributing to the sales process with excellent technical knowledge and customer service.
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.
