Cryptographic Software Engineer

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
• 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
• Strong knowledge of Rust and/or C++

Bonus Qualifications

• 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