CryptoJobster Logo CryptoJobster Post a job →

Crypto Formal Verification Jobs

Quickly find and apply for Formal Verification roles

Post Formal Verification Job → Find Formal Verification Job
Design Engineering Finance Marketing Nontech Operations Product Sales Support
Non Tech Remote Web3 DeFi Ethereum Engineer NFT Finance Product Entry Level   Remote Business Development Remote - US Social Media Marketing TypeScript JavaScript Solidity Blockchain Open Source Developer Product Manager React New York (NY) Community Manager Full-Time Legal Partnerships Content Marketing Product Designer Python Gaming Research Node.js Rust Crypto Data Golang Bitcoin Singapore DAO Smart Contracts Software Engineer Communications Trading EVM SQL Metaverse Junior Customer Success Compliance Paris
Roles
Design Engineering Finance Marketing Nontech Operations Product Sales Support
Popular
Non Tech Remote Web3 DeFi Ethereum Engineer NFT Finance Product Entry Level   Remote Business Development Remote - US Social Media Marketing TypeScript JavaScript Solidity Blockchain Open Source Developer Product Manager React New York (NY) Community Manager Full-Time Legal Partnerships Content Marketing Product Designer Python Gaming Research Node.js Rust Crypto Data Golang Bitcoin Singapore DAO Smart Contracts Software Engineer Communications Trading EVM SQL Metaverse Junior Customer Success Compliance Paris

Latest Web3 Formal Verification Jobs:

  1. Engineering Remote
    Cairo Engineer Ethereum Formal Verification Hoare Solidity Temporal Logic Yul
    24d

    2. Nethermind is hiring a

    Formal Verification Engineer

    What are we all about?

    We are a team of world class builders and researchers with expertise across several domains: Ethereum Protocol Engineering, Layer-2, Decentralized Finance (DeFi), Miner Extractable Value (MEV), Smart Contract Development, Security Auditing and Formal Verification.

    Working to solve some of the most challenging problems in the blockchain space, we frequently collaborate with renowned companies, such as Ethereum Foundation, StarkWare, Gnosis Chain, Aave, Flashbots, xDai, Open Zeppelin, Forta Protocol, Energy Web, POA Network and many more.

    We actively contribute to Ethereum core development, EIP’s and network upgrades together with the Ethereum Foundation, and other client teams.

    Today, there are nearly 200 of us working remotely from over 45+ countries.

    The role

    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: Lamport) 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.

    Responsibilities:

    • Work with other teams and external customers to design formal specifications of languages, compilers, smart contracts, etc…
    • Produce clean and efficient specifications based on documentation and communications with stakeholders.
    • Use a proof assistant to prove a wide array of different properties of these specifications.
    • Extract property testers and formally verified utilities from these specifications.
    • Recommend and execute improvements.
    • Create technical documentation for reference and reporting.

    Requirements:

    • Background in computer science.
    • Background in formal language semantics and verification. Particularly knowledge of Hoare and Temporal logic.
    • Strong background in functional programming and proof assistants, preferably Lean 4.
    • Ability and desire to learn new programming languages and understand their specification e.g. Cairo, Solidity, Yul, etc…
    • Knowledge of compilers.
    • Understanding of theoretical computer science: Turing Machines, Complexity, etc…
    • Experience with software design and development.
    • Strong reasoning skills.
    • Excellent communication skills.
    • Good English.

    Perks and benefits:

    • Fully remote
    • Flexible working hours
    • Plus equity

    Keep up to date on what we are working on by following us on our social channels:

    Apply now

    Please let Nethermind know you found this position on CryptoJobster.com as a way to support us so we can keep providing you with quality crypto jobs.

Top