November 16
• 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
11 - 50
Core Engineer developing blockchain solutions for Ethereum-Compatible chains.
November 12
11 - 50
Develop quantum algorithms at a leading quantum computing startup focused on enterprise solutions.
November 12
501 - 1000
Seeking an experienced PowerBuilder Engineer to support cloud-based applications.
November 12
501 - 1000
Seeking PowerBuilder Engineer to enhance eye care technology solutions.