Nexus Engineering

Hiring for Hard Problems

Nexus is building the first planetary-scale, cryptographically verifiable supercomputer. We tackle some of the most challenging problems in computing, seeking engineers with deep technical expertise and an insatiable curiosity.

Our aim is not to assemble a collection of solo performers but to build a cohesive team where individual talents converge into something greater. Think of a jazz ensemble — each musician brings their unique voice, yet together they create harmonious innovation.

Join our team of world-class experts across diverse domains in computer science and engineering.

Nexus is building the first planetary-scale, cryptographically verifiable supercomputer. We tackle some of the most challenging problems in computing, seeking engineers with deep technical expertise and an insatiable curiosity.

Our aim is not to assemble a collection of solo performers but to build a cohesive team where individual talents converge into something greater. Think of a jazz ensemble — each musician brings their unique voice, yet together they create harmonious innovation.

Join our team of world-class experts across diverse domains in computer science and engineering.

now Hiring

Building a
Verifiable World

We are actively hiring engineers ranging from soon-to-graduate students to seasoned professionals with decades of experience. We value both specialists and those eager to work across the stack.

We hire based on areas of expertise. Below, you'll find various domains, each highlighting reasons to join and example problems you may tackle.

AI / ML

Leverage machine learning to accelerate compilers, proofs, and development tools.

  • Collaborate with researchers to advance verified AI inference and training methodologies.

Backend & Distributed Systems

Maintain a planetary-scale prover network operating at peak performance.

Design a vast distributed network of provers to compute zero-knowledge proofs, balancing:

  • The precision required in financial systems.

  • System liveness and reliability.

  • Integration with consensus protocols and cryptographic primitives for distributed proof verification.

Operating Systems

Develop a minimal, verifiable operating system tailored for the Nexus stack.

  • Streamline system calls to only those necessary for proofs.

  • Integrate support for verified systems that can attest to the correctness of randomness, non-determinism, and persistent storage.

Cryptography / Zero Knowledge

Develop new primitives and optimize proofs for rapid execution.

  • Design and implement new proof systems, as well as integrate with the state-of-the-art.

  • Implement advanced aggregation, recursion, and compression techniques.

  • Accelerate domain-specific computations through optimized precompiles.

Compilers

Construct toolchains that facilitate efficient proofs without altering developers' coding practices.

  • Work on domain-specific circuit language compilation to enable rapid development of the RISC-V compatible zkVM.

Formal Verification

Ensure critical code correctness prior to deployment.

  • Validate the soundness and completeness of the zkVM and its underlying cryptography.

Frontend / UX Engineering

Collaborate with designers from Apple, Coinbase, and Mozilla to craft exceptional user experiences.

  • Refine the user experience of our web applications to match the professionalism and robustness of our underlying cryptographic systems.

  • Address unique challenges, such as integrating Rust into WebAssembly for compute-intensive tasks in the browser.

Engineering Principles

Engineering
Principles

Engineering
Principles

Craft over titles

Small, agile teams are empowered to deliver complete subsystems.

Open Science

We believe in fostering transparency and collaboration.

Make an impact

As a compact team addressing significant challenges, every engineer plays a pivotal role in our success.