Irreducible is a company that focuses on providing fast and cost-effective computation of zero-knowledge succinct proofs. They operate FPGA clusters specifically designed for cryptographic computation at scale, supporting blockchain protocols. Irreducible is involved in the zero-knowledge revolution, which aims to create secure, scalable, and interoperable blockchain systems, including Ethereum Layer 2 and cross-chain bridge protocols. The company offers proving as a service, using FPGA-accelerated server clusters and operates its own infrastructure with climate-friendly energy sources. Irreducible supports various proof systems and contributes to the development of binary proof systems like Binius, which are open-source and designed for high performance. The team consists of applied cryptographers, software and hardware engineers, and cloud architects from around the world, striving to power the next generation of blockchain technology with custom compute solutions.
November 16, 2024
Irreducible is a company that focuses on providing fast and cost-effective computation of zero-knowledge succinct proofs. They operate FPGA clusters specifically designed for cryptographic computation at scale, supporting blockchain protocols. Irreducible is involved in the zero-knowledge revolution, which aims to create secure, scalable, and interoperable blockchain systems, including Ethereum Layer 2 and cross-chain bridge protocols. The company offers proving as a service, using FPGA-accelerated server clusters and operates its own infrastructure with climate-friendly energy sources. Irreducible supports various proof systems and contributes to the development of binary proof systems like Binius, which are open-source and designed for high performance. The team consists of applied cryptographers, software and hardware engineers, and cloud architects from around the world, striving to power the next generation of blockchain technology with custom compute solutions.
β’ Contribute to internal and open-source zk-SNARK proving codebases β’ Analyze performance and propose optimizations β’ Modify codebases to utilize hardware coprocessors β’ Reverse engineer algorithms from open-source software β’ Design/analyze arithmetic constraint systems for verifiable programs β’ Work closely with FPGA engineers and systems software engineers
β’ Strong knowledge of Rust and/or C++ β’ A deep passion for technology, software development, and secure computing β’ Demonstrated ability to deliver software projects from inception to completion β’ Understanding of algorithm design and computer architecture β’ Experience writing multi-threaded, concurrent software β’ Ability to think across layers of abstractions β’ Mathematical aptitude, especially in linear and abstract algebra β’ Experienced and well-versed in Linux, version control, scripting, and build systems β’ Understanding of technology tradeoffs and a pragmatic approach to problem solving β’ Strong written and verbal communications skills β’ Experience modifying and contributing to open-source codebases β’ Experience implementing high-performance software and distributed systems β’ Experience implementing compilers β’ Experience implementing low-level cryptographic primitives β’ Experience programming embedded systems β’ Experience with computer algebra systems such as SageMath β’ Understanding of mathematical and cryptographic proof techniques β’ Understanding of cryptographic proof systems, zero-knowledge cryptography, elliptic curve cryptography, and symmetric cryptography
Apply NowNovember 12, 2024
Develop quantum algorithms at a leading quantum computing startup focused on enterprise solutions.
π©πͺ Germany β Remote
π° Pre Seed Round on 2022-09
β° Full Time
π‘ Mid-level
π Senior
π·π»ββοΈ Engineer
November 11, 2024
Coordinate client projects and integrate software in logistics processes at SYNAOS.
π©πͺ Germany β Remote
π° Seed Round on 2019-02
β° Full Time
π‘ Mid-level
π Senior
π·π»ββοΈ Engineer
Discover 100,000+ Remote Jobs!
We use powerful scraping tech to scan the internet for thousands of remote jobs daily. It operates 24/7 and costs us to operate, so we charge for access to keep the site running.
Of course! You can cancel your subscription at any time with no hidden fees or penalties. Once canceled, youβll still have access until the end of your current billing period.
Other job boards only have jobs from companies that pay to post. This means that you miss out on jobs from companies that don't want to pay. On the other hand, Remote Rocketship scrapes the internet for jobs and doesn't accept payments from companies. This means we have thousands more jobs!
New jobs are constantly being posted. We check each company website every day to ensure we have the most up-to-date job listings.
Yes! Weβre always looking to expand our listings and appreciate any suggestions from our community. Just send an email to Lior@remoterocketship.com. I read every request.
Remote Rocketship is a solo project by me, Lior Neu-ner. I built this website for my wife when she was looking for a job! She was having a hard time finding remote jobs, so I decided to build her a tool that would search the internet for her.