3 jobs found

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...

Inversed Tech is looking for a Senior Software Rust Engineer to join our core engineering team. We work on privacy-first techniques, mostly built with Rust. Technologies include zero-knowledge proofs, secure multiparty computation, elliptic curve cryptography, advanced blockchain state management and other cutting edge cryptographic techniques. Main Responsibilities Design, develop, test, deploy, maintain, and improve software features Implement novel cryptographic protocols Being able to take part in various stages of project development: from prototyping to deployment and maintaining a codebase Writing, updating and maintaining documentation, specifications and other written resources Lead projects from a technical perspective, being able to define concrete goals, and work with a small technical team to deliver high-quality software Key Qualifications If you identify with all or most of these, there is a high probability that you will thrive in the...

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...