Nexus Engineering
Hiring for Hard Problems
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.
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.