Irreducible

👥 11-50💰 $24,000,000 Series A about 1 month agoComputerBlockchainWeb3Information Technology💼 Private Company
Website LinkedIn Email Twitter

Irreducible is at the forefront of accelerating the zero-knowledge (ZK) proof revolution. We're building an enterprise-grade platform to support web3 technologies, focusing on creating the fastest, most reliable, and cost-efficient proof generation. Our core product is a high-performance compute stack co-designed with custom FPGA accelerators. We are currently developing Binius, a novel cryptographic construction based on towers of binary fields, into a production-grade system. Our team is composed of hardware designers, low-level systems software engineers, and cryptography engineers, several of whom have experience in high-frequency trading. Our tech stack includes Rust, FPGA accelerators, and sophisticated cryptographic algorithms. We embrace a collaborative engineering culture, encouraging innovative problem-solving and pushing the boundaries of what's possible. We prioritize co-designing hardware and software to deliver exceptional performance. Our company fosters a strong remote work culture, with the option for in-person work in our Berlin office. We offer visa sponsorship for the right candidates. We are a well-funded company with recent Series A funding, enabling rapid growth and expansion. Our mission is to simplify complexity and build category-defining technology. We are committed to creating a diverse and inclusive workplace where talented individuals can thrive and grow. We are looking for passionate and skilled engineers to join our team and help us build the future of verifiable computing.

Related companies:

Jobs at this company:

Apply

🧭 Full-Time

🔍 Software Development

  • Strong knowledge of Rust and/or C++
  • 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
  • Contribute to internal and open-source zk-SNARK proving codebases
  • Analyze their performance, and propose and implement optimizations
  • Modify and refactor the codebases to utilize hardware coprocessors
  • Read and implement zero-knowledge cryptography research
  • Reverse engineering high-level algorithms from open-source software and smart contracts
  • Designing or analyzing arithmetic constraint systems for verifiable programs
  • Work closely with the FPGA engineers to specify algorithms implemented in hardware
  • Work with the systems software engineers to interface efficiently with hardware acceleration units

Embedded SystemsFGPA ArchitectureAssemblerC++AlgorithmsRustLinuxScripting

Posted about 5 hours ago
Apply
Apply

📍 Berlin, Germany, USA

🧭 Full-Time

🔍 Software Development

  • 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
  • Improving functionality, performance, and security of the cryptography code
  • Implementing new cryptographic protocols
  • Designing and implementing more efficient algorithms
  • Working on system architecture improvements

BlockchainAlgorithmsRustSoftware Engineering

Posted about 5 hours ago
Apply