Stop applying — get discovered by hiring agents.
| Job Position and Company | Posted | Location | Salary | Tags |
|---|---|---|---|---|
| $84k - $120k | ||||
| $97k - $106k | ||||
| $121k - $164k | ||||
| $84k - $110k | ||||
 ISO 9001 Certified | 400+ students | Learn more | by Metana | ||
| $121k - $164k | ||||
| $85k - $156k | ||||
| $90k - $165k | ||||
| $90k - $144k | ||||
| $81k - $95k | ||||
| $81k - $95k | ||||
| $157k - $175k | ||||
| $84k - $120k | ||||
Anagram📍 Remote | $81k - $95k | |||
Anagram📍 Remote | $36k - $54k | |||
| $126k - $127k |
We are seeking a skilled Senior Software Engineer to join our infrastructure team and help us shape the future of verifiable computing. Leveraging your expertise in Rust, you will contribute to the development of efficient, scalable, and secure systems that support our ambitious goals.
About Nexus
The Nexus Project is a scientific and engineering effort bringing truth to the field of computation. We’re enabling bringing to life a new form of compute: verifiable computation, powered by open science and open-source software so it can benefit everyone. Our work aims to bring to life decades of advancements in zero-knowledge cryptography, achieved by many scientists, engineers, and mathematicians, into a single software system.
Nexus raised $25M in Series A funding, co-led by Lightspeed and Pantera, with participation from Dragonfly, SV Angel and more.
Our team consists of some of the world's top cryptographers, mathematicians, and engineers, all working together with one goal: to unite the world's computers and prove humanity's computations.
Responsibilities
Design, develop, and maintain the production platforms that power our products, enabling reliability and security at scale
Collaborate with other teams to ensure seamless integration and interoperability between infrastructure components
Optimize infrastructure performance and resource utilization, focusing on scalability and cost-efficiency
Implement automation and tooling to streamline infrastructure management and deployment processes
Proactively identify and address potential infrastructure bottlenecks and issues
Document infrastructure design and implementation decisions for maintainability and knowledge sharing
Requirements
7+ years of professional engineering experience with a focus on infrastructure development
Bachelor’s degree in computer science or a related technical field
Proven ability to write clean, efficient, and maintainable code
Excellent communication and collaboration skills
Ability to navigate ambiguity and make strategic decisions
Bonus Points:
Advanced degree in a technical field
Entrepreneurial spirit with an interest in spearheading new projects
Experience with zero-knowledge proofs and zkVM concepts
Contribution to open-source projects related to distributed systems or Rust programming
Benefits
Competitive salary and equity compensation
Dynamic startup culture where creativity is highly encouraged and where autonomy and meritocracy are highly valued
Be part of a foundational transformation of the future of computation
This role is an in-office position in San Francisco. For candidates based outside of San Francisco, we will offer relocation assistance.
Don't meet all the qualifications? We still encourage you to apply if you're passionate about cryptography and eager to learn and contribute to our mission.
What is Zero-knowledge?
Zero-knowledge is a concept in cryptography that allows two parties to exchange information without revealing any additional information beyond what is necessary to prove a particular fact
In other words, zero-knowledge is a way of proving something without actually revealing any details about the proof
Here are some examples of zero-knowledge:
- Password authentication: When you enter your password to log into an online account, the server doesn't actually know your password. Instead, it checks to see if the hash of your password matches the stored hash in its database. This is a form of zero-knowledge because the server doesn't know your actual password, just the hash that proves you know the correct password.
- Sudoku puzzles: Suppose you want to prove to someone that you've solved a particularly difficult Sudoku puzzle. You could do this by providing them with the completed puzzle, but that would reveal how you solved it. Instead, you could use a zero-knowledge proof where you demonstrate that you know the solution without actually revealing the solution itself.
- Bitcoin transactions: In a Bitcoin transaction, you prove that you have ownership of a certain amount of Bitcoin without revealing your private key. This is done using a zero-knowledge proof called a Schnorr signature, which allows you to prove ownership of a specific transaction output without revealing the private key associated with that output.
- Secure messaging: In a secure messaging app, you can prove to your contacts that you have access to a shared secret without revealing the secret itself. This is done using a zero-knowledge proof, which allows you to prove that you have access to the secret without actually revealing what the secret is.