Senior Software Engineer - Zero-Knowledge Proof

MakeInfinite Labs; United States; Remote; USD 125,000 - 173,000; Full time

Job summary

MakeInfinite Labs seeks a Senior Software Engineer to innovate at the intersection of decentralized technologies and AI. Join the SQL Proof Engineering team to develop secure, tamperproof SQL mechanisms and web3 applications using cutting-edge cryptographic methods. This full-time role offers competitive salary, bonus, benefits, and a dynamic work environment.

Benefits

Medical, dental, and vision insurance

401(k) with employer match

Flexible personal paid time off

15 company-paid holidays in 2025

Qualifications

• Bachelor’s degree in technical field required; Master’s or PhD preferred.
• Minimum 6+ years software engineering experience.
• Experience with zero-knowledge proofs and SNARKS highly desirable.

Responsibilities

• Collaborate to design and develop a Proof of SQL mechanism based on zero-knowledge proof principles.
• Research innovative cryptographic algorithms and enhance security of SQL results.
• Ensure reliability, scalability, and efficiency of developed mechanisms through testing.

Skills

Software Engineering

Applied Cryptography

Algorithm Development

High-Performance Distributed Computing

Zero-Knowledge Proofs

Rust

Distributed Computing

Web3

Education

Bachelor’s degree in math, computer science, or related field

Master’s or PhD

Job description

Senior Software Engineer - Zero-Knowledge Proof

Join our team at MakeInfinite Labs and be at the forefront of revolutionizing how decentralized technologies and artificial intelligence converge. Embrace the opportunity to innovate, grow, and shape a new era of digital transformation.

As a Senior Software Engineer on our SQL Proof Engineering team you will be joining highly skilled 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. You will be at the forefront of developing a novel Proof of SQL mechanism, akin to a specialized zero-knowledge proof/SNARK, that enables the secure loading of outsourced SQL job results into smart contracts via a decentralized oracle network, while minimizing potential attack surfaces. This role requires a strong background in applied cryptography or related mathematical fields, as well as a willingness to learn and research novel algorithms and techniques

The US salary range for this full-time position is $125,500 - $172,200 . In addition to your base salary, your total compensation package includes a targeted annual bonus, RSU, and benefits.

Individual base pay depends on various factors, such as the complexity and responsibility of the role, job duties/requirements, and relevant experience and skills. Base pay ranges are reviewed and typically updated each year. Offers are made within the base pay range applicable at the time.

Primary Responsibilities:

• Collaborate with a highly skilled team to design and develop a Proof of SQL mechanism based on zero-knowledge proof principles and SNARKS
• Architect and implement high-performance in-database mechanisms to ensure tamperproof and cryptographically guaranteed SQL results
• Research and explore innovative cryptographic algorithms and techniques to enhance the security of efficiency of the Proof of SQL mechanism
• Ensure the reliability, scalability, and efficiency of the developed mechanisms through thorough testing and optimization
• Codifying the reliability, scalability, and efficiency of the developed mechanisms through thorough testing and optimization
• Working with engineering leadership to define, prioritize, and ensure smooth deployments with other operational components

Skills and Qualifications:

• Bachelor’s degree in math, computer science, computer engineering, or related technical field. Masters or PhD is a plus
• Minimum 6+ years software engineering experience. Experience with applied cryptography is a bonus
• Experience with the design of zero-knowledge proofs and SNARKS
• Experience programming with Rust a plus
• 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, and decentralization
• Nice to have: familiarity with how zero-knowledge proofs, SNARKs, and other arguments work (e.g. PLONK, bulletproofs, KZG, etc.)
• Medical, dental, and vision insurance (100% of the premiums covered by MakeInfinite)
• Short-term and long-term disability, accidental death & dismemberment, basic life, and supplemental voluntary insurance
• 401(k) with employer match
• Employee Assistance Program
• Employee Discount Programs and Awards
• Lunch & Learns
• Flexible personal paid time off
• 15 company-paid holidays in 2025 (including a winter holiday shutdown)

Notice to Third-Party Recruitment/Staffing Agencies:

MakeInfinite Labs, Inc. (the "Company") does not accept unsolicited resumes or CVs from recruiters or employment agencies without a binding, fully executed, written agreement. Any written or verbal communication with any person within the Company does not create a binding agreement.

The Company will not pay a fee to any parties that do not have a valid, fully executed Agreement in place. Any unsolicited resumes or CVs, including those submitted to hiring managers, employees, advisors, or consultants, are deemed to be the property of MakeInfinite Labs, Inc. The Company explicitly reserves the right to hire those candidate(s) without any financial obligation to the recruiter or agency.

Parties without a fully executed and valid agreement are requested not to contact any hiring managers of the Company with recruiting inquiries or resumes. All candidate resumes must be presented to the hiring managers directly by the Company’s internal Talent Acquisition team.

Agencies interested in partnering with MakeInfinite Labs, Inc. may contact our Talent Acquisition team ( [e-mail] ).

Our Commitment to Diversity and Inclusion:

At MakeInfinite, 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 MakeInfinite 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.