Do you have a passion for verification and programming language semantics? Do you want to work at the bleeding edge of crypto, securing the Ethereum ecosystem? Do you want to help shape the future of Decentralized Finance?
We are hiring formal verification engineers to work with other teams at Nethermind as well as external customers (code name: Synnax) to fulfill a wide range of formal verification needs within the Ethereum ecosystem. We’re looking for team players, with a keen eye for detail and strong problem-solving skills.
Nethermind has a world class team of builders and researchers with expertise in Ethereum, protocol engineering, layer 2 scaling, decentralized finance, smart contracts development and enterprise blockchain. We provide technology, R&D and consulting services for blockchain and DeFi businesses.
Check below to see all of the open Nethermind jobs organised by office location.
Check below to see all of the open Nethermind jobs organised by team.
Nethermind’s CTO @0xGreg_ dived deep into latest industry developments in an #AMA with @zkxprotocol and even dropped some alpha on Nethermind's newest open-source tool for the #StarkNet ecosystem 👀 https://t.co/0dQ8v8SjHy
@0xvoyageronline is shipping! 👉 Integration with @FuzzingLabs and Thoth! 👉 tutorial on how to verify a contract/class using our new CLI Verifier 👉 Rejected transactions view https://t.co/k2kusByeo1 https://t.co/tXYCEAsOxP
The day of the Bellatrix upgrade on @gnosischain, the network experienced issues with high resource usage due to unnecessary block propagation. We released v1.14.7 hotfix, reducing gossip traffic & easing high resource utilization on Execution Layer nodes. https://t.co/BDis61Z24m https://t.co/q9XyXG8W1S