Nexus Engineering
Hiring for Hard Problems
now Hiring
Building a Verifiable World for the AI Era
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 the domains we’re currently focused on, each highlighting reasons to join and example problems you may tackle.
AI Product Engineering
Design and build AI-powered products that leverage blockchain technology.
Collaborate with product managers, designers, and researchers to define and ship AI-first features.
Rapidly prototype new ideas and experiments to push the boundaries of our AI capabilities – we love quick iterations and learning by doing.
Integrate LLMs and other AI systems into end-user applications via APIs and internal tooling.
Backend & Distributed Systems
Maintain a planetary-scale prover network operating at peak performance to power AI models and applications.
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.
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.
Build beautiful user experiences that showcase new AI tools and AI-powered applications integrating with blockchain technology.
Cryptography and Verification Technologies
Design and implement cutting-edge proof systems and cryptographic protocols to power verifiable computation.
Implement and optimize zero-knowledge proofs, aggregation, and recursion techniques for performance at scale.
Ensure correctness through formal verification of the zkVM, compilers, and cryptographic primitives.
Collaborate across the stack to integrate proofs with consensus and system infrastructure.