Irreducible
Join Irreducible's Cryptography team as a Research Engineer and contribute to the development of Binius, a binary field proof system for zk-SNARKs. Collaborate with a talented team and shape the future of cryptographic computing.
Kalepa
Core Engineer - Develop impactful computer vision features using Roboflow tools, collaborate with a global team, and create innovative AI solutions.
Apollo.io
Senior Backend Engineer at Apollo.io: Implement scalable backend endpoints, drive software development lifecycle, and mentor junior engineers.
Postscript
Senior Software Engineer at Postscript: lead distributed systems development, solve complex problems, and drive growth through project leadership and technical expertise.
RevenueCat
Backend Engineer at RevenueCat: Collaborate with a talented team, create innovative AI solutions, and contribute to the growth of mobile subscriptions.
Vercel
Design and implement scalable IAM solutions at Vercel using JavaScript/TypeScript, Node.js, AWS, and industry-standard protocols like OAuth2 and OpenID Connect. Collaborate with cross-functional teams to deliver secure and reliable services while leveraging Infrastructure as Code tools.
Vercel
Design and implement scalable IAM solutions using AWS, TypeScript, Node.js, and industry standards like OAuth, OIDC, SAML. Collaborate with teams to deliver secure, reliable services for Vercel's Frontend Cloud.
Nethermind
Extract on-chain data from PoS networks, design scalable blockchain indexed platforms, assist in data analysis, build cloud infrastructure, interact with product teams to deliver applications. Requires expertise in blockchain technologies, programming languages like Python/JavaScript/Golang, distributed systems, APIs, and cloud infrastructure.
Consensys
Develop innovative features for MetaMask Card and integrate crypto with traditional payment systems.
Cargo.one
Cloud Infrastructure Engineer at cargo.one: Collaborate with diverse stakeholders to contribute to cloud infrastructure and ensure quality work. Flexible remote work options and unlimited co-working options available.
Figma
Join Figma's Extensibility team to develop and maintain their developer platform, including plugins and APIs. Work with TypeScript, Ruby, C++, and collaborate on user experiences for complex problems.
Clipboard Health
As an L2 Software Engineer at Clipboard Health, you will develop scalable healthcare solutions using TypeScript, React, Node.js, and AWS technologies in a globally distributed team environment. Your work will directly impact healthcare staffing by solving real-world challenges and contributing to a customer-centric approach.
Clipboard Health
Develop scalable web and mobile applications using modern technologies while working remotely on a globally distributed team to solve healthcare challenges.
Vercel
Enhance Next.js documentation by maintaining content, creating tutorials, and ensuring alignment with developer needs. Collaborate with the core team to provide accurate and helpful resources for developers using Next.js.
StackAdapt
Join StackAdapt as a Quality Engineer to drive software quality through automation, collaborate with teams on CI/CD integration, and contribute to enhancing the platform's reliability. Enjoy competitive compensation, health benefits, mental health support, and professional development opportunities in a remote-friendly environment.
StackAdapt
Enhance software quality at StackAdapt by developing and implementing test automation solutions across various platforms. Collaborate with cross-functional teams to ensure high-quality product releases in an agile environment.
Grafana Labs
Technical Support Specialist at Grafana Labs: Provide timely responses, triage issues, and build trusted advisor relationships with customers.
Curai
Lead Security Engineer at Curai Health: Drive security initiatives, implement frameworks like ISO 27001/2 and NIST CSF, ensure HIPAA/SOC-2 compliance. Collaborate with engineering teams to maintain secure infrastructure in a remote-first environment.
Lumos
Lead Data Engineer at Lumos: Design & implement scalable data pipelines for analytics & AI-driven solutions.
Deimos
Join Deimos as Principal Software Engineer & lead software solutions with scalability, maintainability, performance, security & operational excellence in mind.
Irreducible
Irreducible is a team of innovators pushing the boundaries of cryptographic computing. They are looking for a Research Engineer to join their Cryptography team, working on Binius, a binary field proof system. The responsibilities will include improving functionality, performance, and security of the cryptography code. The ideal candidate should have significant professional software engineering experience, proficiency in Rust, and deep familiarity with zero-knowledge cryptography concepts. Irreducible values diversity and inclusivity, and offers flexible remote work options, relocation support, and equity in a fast-growing company.
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 Research Engineer to join our Cryptography team.
Role Overview
As a Research Engineer on the Cryptography team, you will be working on Binius, our binary field proof system, both on the core open-source library and on applications of it. The responsibilities will include improving functionality, performance, and security of the cryptography code. Your days might involve implementing new cryptographic protocols, designing and implementing more efficient algorithms, and working on system architecture improvements. You will work on a cross-functional team, collaborating with cryptographers and software engineers to adapt and apply the latest zero-knowledge cryptography research. There may be opportunities to contribute directly to Irreducible’s cryptography research publications.
Necessary Qualifications
Significant professional software engineering experience
Proficiency with Rust
Understanding of software engineering best practices, especially testing
Ability to read and understand cryptography research
Deep familiarity with zero-knowledge cryptography concepts
Experience implementing cryptographic protocols
Mathematical aptitude, especially in linear and abstract algebra
Bonus Qualifications
Competitive programming experience
Experience with performance tuning and optimization
Understanding of fundamental blockchain concepts
Familiarity with software design patterns
Experience with computer algebra systems such as SageMath
Published cryptographic research
Experience with ZK circuit programming
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.
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.
