Nethermind

Introducing Clear: the complete framework for interactive theorem proving in web3. A formal verification tool for Solidity smart contracts that expresses any on-paper verification into mechanized proofs. Read more in our blog post: https://lnkd.in/dZctgVWU Clear under the hood ⚙️ 🛡 Ensures stronger guarantees and greater expressivity (leveraging ITP & hard formal methods) 🛡 Splits the task of verifying contracts into simpler sub-problems, enabling proof reuse and compositionality → achieving scalable verification not previously possible 🛡Allows extraction into Lean 4, using interactive theorem proving and Mathlib to verify complex smart contracts To ensure the highest level of certainty in the correctness of our model, we’re running our specification against EVM execution conformance tests. #ethereum #solidity #formalverification #maths #blockchain #security #cryptosecurity #innovation #hacker #yul #evm

Heading to #Token2049? Come and meet the Nethermind team in Singapore next week! The leadership team including Nethermind Founder Tomasz Kajetan Stańczak will be there along with the marketing and development teams. Send us a dm if you would like to schedule a meeting! Or check out the talks, panels, and meetups we will be attending below https://lnkd.in/eryzaeaz

Nethermind is looking for a PCB Design Engineer! 🚀 📌 Location: Edinburgh, United Kingdom (In-person - 100%) We are seeking a skilled hardware engineer to join our team and contribute to the design of printed circuit boards for an advanced palm vein scanner. If you excel in designing reliable, secure PCBs and have a passion for biometric technology, we want to hear from you. Check out the full description and apply below 👇 https://lnkd.in/eyKNFm2k Or see the full list of our open positions here 📖 https://lnkd.in/dEjg22BT

Nethermind is seeking a proactive and versatile Content Marketing Manager who can spearhead our content initiatives at a rapidly growing, remote-first organization! 🚀 If you thrive in a globally distributed team and are confident in working independently to create, curate, and manage content across multiple platforms and brands in Web3, we want to hear from you! Having a keen eye for detail and a passion for storytelling and words is crucial. This role also requires a blend of creativity, project management, and analytical skills to ensure our content engages our audience and aligns with our brand values. Check out the full description and apply below 👇 https://lnkd.in/eSqnjaMx Or see the full list of our open positions here 👀 https://lnkd.in/dEjg22BT

I’m excited to share that I’ve joined Nethermind as an intern on the Smart Contract Auditing team! 🚀 Over the next three months, I'll be working on auditing projects, dedicated to enhancing the robustness and security of smart contracts across the ecosystem. Looking forward to diving deep into analyzing and finding vulnerabilities, strengthening protocols, and ensuring the reliability of decentralized applications on the network. Grateful for the warm welcome from the Nethermind team and looking forward to work and grow alongside some of the brightest minds in the industry!

We are looking for a Senior Engineer for Switchboard, a product powered by Nethermind!🔐 Our team is creating a preconfirmation platform to enable near-instant confirmations on Ethereum L1, rollups, and beyond. Join the Switchboard team and help us build the future of Ethereum! Ideal Candidates for this role should demonstrate: 1.Expertise in Rust or Go programming languages. 2.Strong understanding of Ethereum, MEV, and the block-building process. 3.Proven experience designing and implementing complex systems using advanced cryptography. 4. Excellent problem-solving and debugging skills, with a keen eye for optimizing performance. If you believe you are a good fit for the role, we would love to hear from you! Check out the full description and apply below👇 https://lnkd.in/epimHPdG or see the full list of our open positions here https://lnkd.in/dEjg22BT

We're excited to announce that Nethermind Security has completed a thorough audit of LayerAkira (https://layerakira.xyz/), an innovative hybrid orderbook DEX and liquidity layer built on StarkNet! This audit focused on LayerAkira's hybrid order book infrastructure, which offers gasless order management, non-custodial asset security, and seamless integration with StarkNet dApps to enhance market depth. Users submit signed orders to an off-chain orderbook that will match and execute the trades. Users maintain custody of their funds. All deposits, withdrawals, and settlements are maintained by smart contracts. Read the public report here 👇 https://lnkd.in/ej4kHi7U #starknet #dex #smartcontractsecurity #securityreview

We’re hiring an Application Security Engineer!🔐 Join our team and work on enhancing the security of our applications by integrating security practices into the SDLC and safeguarding against vulnerabilities. Check out the full description and apply below!👇 https://lnkd.in/dRFm9FVh

🚀 New publication from Nethermind Research Discover Mova, a folding scheme that modifies Nova to remove certain critically expensive steps. As a result, Mova is much faster than Nova and requires only 3 rounds of communication. Check out all the details below, and stay tuned for our upcoming work that leverages some of Mova’s principles! https://lnkd.in/dexYstwZ

🚀 Calling all DevOps experts! Nethermind is hiring a Senior DevOps Engineer. Join our global, remote-first team to work on: • Optimizing infrastructure for maximum efficiency • Designing, deploying, and maintaining scalable infrastructure for validators, restaking, sequencers, DAs, MPC nodes, and many more You’ll be working with Kubernetes, Terraform, ArgoCD in a hybrid infrastructure to create resilient, high-performance systems that power the future of web3. Ready to tackle complex distributed systems challenges? Apply here 👇 https://lnkd.in/eiFC5AzD