5 jobs found

As a Senior Infrastructure Engineer at Irreducible, you will develop systems for deploying software and firmware images to our bare metal server cluster and help manage our software development environments. Our production infrastructure includes connected FPGA-based high-performance compute servers, monitoring and logging services, blockchain network nodes, and API gateways, spanning both a bare-metal deployment and public cloud environments like AWS and GCP.  Infrastructure team members work closely with the hardware engineers and systems software engineers to specify the production requirements and build tools to empower the team to ship code to production securely, efficiently, and with full confidence and transparency. Being a self-starter is essential, as there are always a variety of challenges that need to be tackled. Your work will have a direct impact on our growth and success. Necessary Qualifications: Experienced and well-versed in Linux, version...

Role Summary As a senior software optimization engineer in our systems software team, you will have a direct impact on Irreducible’s success. You will design, implement and optimize our software stack that integrates our FPGA accelerators into cryptographic application code. This involves optimal management of memory and compute resources, detailed performance profiling, as well as modification and instrumentation of cryptography code.  To achieve this, you will work closely with our FPGA and cryptography engineers to codesign hardware-software interfaces, and with the infrastructure engineers to develop and deploy software to Irreducible’s bare metal server cluster. Necessary Qualifications Expertise and proven experience in performance optimization in any of Rust, C++ or C Ability to efficiently benchmark, tune and optimize non-trivial multi-threaded software Ability to optimize across layers of abstraction: Algorithms, concurrency, scheduling,...

As a Compiler Engineer, you will work primarily on two areas of our tech stack: Compilation of programs targeting a custom cryptographic processor running on an FPGA Translation of an assembly language into a ZK virtual machine. You will also work closely with the hardware and cryptography teams to define both the instruction sets and high-level program representations. Being a self-starter is essential, as there are always a variety of challenges that need to be tackled. Your work will have a direct impact on our growth and success.  Necessary Qualifications: Significant experience writing compilers Strong proficiency in Rust Understanding of computer architecture and configuration Understanding of technology tradeoffs and a pragmatic approach to problem solving Strong written and verbal communications skills Ability to think across layers of abstractions Ability to work in a fast-paced startup environment...

What We're Building ZK proofs are one of the most critical technologies to blockchain scaling, interoperability and privacy, but are too complex for most developers today. Succinct’s mission is to make zero knowledge proofs accessible to any developer. SP1  is a state of the art zkVM with performance that rivals custom ZK circuits that lets developers use ZK with normal programming languages, like Rust. The  Succinct Prover Network , under active development, is a hosted infrastructure layer for any application to outsource proof-generation for open-source proof systems. Today, top teams in the space, including  Celestia ,  Wormhole ,  Lido ,  Avail ,  Near , and  Gnosis  are using Succinct’s infrastructure to build with ZKPs. We have a track record of shipping excellent products and cutting-edge technical work in ZK and have significant revenue from our customers. We recently announced our  $55 million raise  across our Seed and Series A led by Paradigm, the best investor...

Role Summary As a cryptographic software engineer at Ulvetanna, you will contribute to internal and open-source zk-SNARK proving codebases, analyze their performance, and propose and implement optimizations. Tasks may include to modifying and refactoring the codebases to utilize hardware coprocessors, reading and implementing zero-knowledge cryptography research, reverse engineering high-level algorithms from open-source software and smart contracts, and designing or analyzing arithmetic constraint systems for verifiable programs. Team members work closely with the FPGA engineers to specify algorithms implemented in hardware, and with the systems software engineers to interface efficiently with hardware acceleration units. Necessary Qualifications 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...