SR. SOFTWARE ENGINEER – RUST, PROOFS AND SNARKS ENGINEERING – Full-time, Remote (Southern California a plus) at Space and Time


264 days ago
✅ 10 applications

About the Job

SR. SOFTWARE ENGINEER – RUST, PROOFS AND SNARKS ENGINEERING
$200k+ – Full-time, Remote (Southern California a plus)

At Space and Time, we are solving Web3’s toughest data analytics challenges at planetary scale with decentralized, peer-to-peer technology. Apps built on top of Space and Time become blockchain interoperable, crunching SQL + machine learning for enterprises and any decentralized applications that need verifiable tamperproofing, blockchain-security, or enterprise scale. We turn any major blockchain into a next-gen database by connecting off-chain storage with on-chain analytic insights. Our team is growing fast, backed by some of the top blockchain orgs and VCs.

A career at Space and Time is lucrative, fast-paced, and very creative. We value you (and all your ideas) like family and we bring an endless supply of perks. This includes flexible workweeks + flexible vacation, add-on bonuses for hard work, we attend exciting events/conferences/parties, we’re headquartered on the beach near LA (but don’t mind you working remote), and most importantly- we provide analytics technology to the largest Dapps, DAOs, DeFi/DEXs, GameFi, NFT platforms, enterprises, etc. We are committed to growing a diverse and welcoming team in a safe space to be yourself and learn from the most innovative minds in blockchain and data warehousing. Help us invent the first decentralized supercomputer!

As a Sr. Software Engineer on our SQL Proof Engineering team you will be joining highly skilled Rust engineers, cryptographers, mathematicians, and tech leads 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 leadership role, and thus we expect competency (and a professional or academic background) in applied cryptography or related mathematical fields and preferably experience or familiarity with at least one argument scheme, such as bulletproofs, IOPs, KZG-based schemes, etc. Experience with high-performance distributed computing is a plus. We also expect willingness to learn and research novel algorithms and techniques.

Responsibilities:
Writing Rust 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
Participate in architecture development and research to solve problems scaling up from “laptop scale” to “cluster scale”
Working with Decentralized Oracle Networks (such as Chainlink) to develop cryptographic commitments for data and consensus-based validations of proofs, as well as working with clustered data warehouses for storing and processing the commitments
Codifying best practices for future reuse in the form of accessible, reusable patterns, templates, and code bases to facilitate meta data capturing and management
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.
5+ years software engineering experience (or academic research) around applied cryptography and preferably experience or familiarity with at least one argument scheme, such as bulletproofs, IOPs, KZG-based schemes, etc.
Experience programming with Rust (or at least C++ with willingness to quickly learn Rust)
Rock solid engineering fundamentals; algorithm development/design, high-performance distributed computing
Rock solid cryptography fundamentals; hashing, elliptic curves/pairings, field/group theory, etc.
Nice to have: High-level understanding of distributed computing, database cluster fundamentals (such as Apache Spark, Snowflake, etc)
Nice to have: Passionate about Web3, blockchain, decentralization, and a base understanding of how SNARKs and arguments play into this

What we offer
Very competitive salaries
Medical, dental and vision insurance, disability/life insurance
401(k) Plan
Aggressive bonus structure and/or Space and Time token allocations (similar to stock options)
Very flexible PTO and paid holidays, and flexible workweek
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)
Space and Time is an EOE and committed to building a diverse team



Our Commitment to Diversity and Inclusion:

At Space and Time, we are committed to fostering a diverse and inclusive culture where everyone can excel. We take great care to ensure that our hiring practices are inclusive and meet equal employment opportunity standards. Individuals looking for employment at Space and Time are considered without regard to age, color, disability, ethnicity, family or marital status, gender identity or expression, language, national origin, physical and mental ability, political affiliation, race, religion, sexual orientation, socio-economic status, veteran status, and other protected characteristics


Skills

5+ years software engineering experience (or academic research) around applied cryptography and preferably experience or familiarity with at least one argument scheme, such as bulletproofs, I

Compensation

200000 + Equity


Applications for this job are currently closed.

Apply on CryptoJobs