Nexus Labs
vor 2 Wochen
Enabling Verifiable ComputingThe 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.Job OverviewNexus is seeking a Senior Smart Contract Engineer to join our core engineering team. You will play a critical role in designing, developing, and deploying secure and scalable smart contracts that power core functionalities of our innovative decentralized platform. Your expertise in Solidity and blockchain technology will be instrumental in shaping the future of secure and transparent applications within the Nexus ecosystemResponsibilitiesDesign, develop, and audit secure and efficient smart contracts using SolidityImplement best practices for smart contract security, including unit testing, code reviews, and vulnerability assessmentsAutomate smart contract deployment, testing, and ongoing maintenanceStay up-to-date with the latest advancements in blockchain technology, Ethereum Virtual Machine (EVM) concepts, and layer 2 scaling solutionsBachelor’s in Computer Science or a related fieldDeep understanding of blockchain technology and consensus mechanismsProven track record of shipping secure and well-tested smart contracts on Ethereum or compatible blockchainsExpert-level knowledge of Solidity language features, best practices, and security considerationsStrong problem-solving and analytical skills with a passion for innovation and building impactful decentralized applicationsBonus PointsAdvanced degree in a technical fieldFamiliarity with formal verification tools for smart contracts.Experience with layer 2 scaling solutions (i.e. Optimism, Polygon)Contributions to open-source smart contract libraries or frameworksStrong understanding of web3 development tools and frameworksBenefitsCompetitive salary and equity compensationDynamic startup culture where creativity is highly encouraged and where autonomy and meritocracy are highly valuedOpportunity to join a talented team at the forefront of the next generation of computing #J-18808-Ljbffr
-
Nexus Labs
vor 2 Wochen
Zürich, Zürich, Schweiz deCircle Vollzeit CHF 120'000 - CHF 180'000 pro JahrJob description Enabling Verifiable ComputingThe 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...
-
Robotics Software Engineer Internship
vor 2 Wochen
Zürich, Zürich, Schweiz Gravis Robotics Vollzeit CHF 60'000 - CHF 120'000 pro JahrGravis Robotics is a startup that turns heavy construction machines into intelligent and autonomous robots. Our unique combination of learning-based automation and augmented remote control lets one operator safely conduct a fleet of machines—from anywhere in the world. Our team has over a decade of academic experience honing the cutting edge of...