As a Sr. Software Engineer on our Cryptographic Protocol Engineering team you will be joining highly skilled engineers, cryptographers, and mathematicians responsible for developing high-performance in-database mechanisms to verify that the SQL results returned to a client are tamperproof and cryptographically guaranteed. Your team will be architecting and developing a novel Proof of SQL mechanism (effectively a specialized SNARK) which ensures that results of outsourced SQL jobs can be loaded into smart contracts via a decentralized oracle network, while also minimizing attack surfaces. This is an extremely math/cryptography-heavy role, and thus we expect competency (and a professional or academic background) in applied cryptography or related mathematical fields. We also expect willingness to learn and research novel algorithms and techniques. Responsibilities

Writing C++/ Rust (or other similar languages) code and math-focused algorithms to build a bigger, better, faster, more optimized SQL Proofing mechanism Building strategies, tools, platforms and database integrations to rapidly test and iterate on various cryptographic techniques / commitment schemes / database designs / algorithms for outsourced Proofs of SQL Codifying best practices for future reuse in the form of accessible, reusable patterns, templates, and code bases to facilitate meta data capturing and management Cryptography/SNARK engineering research Working with engineering leadership to define, prioritize, and ensure smooth deployments with other operational components

Skills & Qualifications

Bachelor’s degree in math, computer science, computer engineering, or related technical field. Masters or PhD is a plus. 3+ years software engineering experience (or academic research) around applied math programming Fluency with the mathematics surrounding basic cryptographic primitives

Nice to Have

Understanding of elliptic curves and various cryptographic protocols. (Diffie–Hellman key exchange, commitment schemes, hashing, etc.) Knowledge and experience with SNARKs is a huge plus. (Bulletproofs, Spartan, KZG protocol, sum-check protocol, FRI commitments, etc.) Experience writing/developing novel algorithms (such as sorts, searches, divide-and-conquer, etc.) Ability to clearly communicate developed algorithms (e.g. by using pseudo-code) Ability to read and interpret research papers Familiarity with a variety of languages (Rust, C++, Scala is a plus) Familiarity with SQL/database design is a bonus Passionate about Web3, blockchain, decentralization, and a base understanding of how SNARKs and arguments play into this Benefits

˖ Ultra competitive salaries

˖ Medical, dental, and vision insurance, disability/life insurance

˖ 401(k) Plan

˖ Aggressive bonus structure and RSUs

˖ Very flexible PTO, paid holidays, and flexible workweeks

˖ Very flexible remote work options

˖ A massive list of perks including discretionary add-on bonuses for hard work, attending exciting events/conferences/parties, we’re headquartered on the beach near LA (but don’t mind you working remote)