{"schemaVersion":"jobsearcher.job.v1","id":"b9fec4789de60c2234ea6cf9","url":"https://jobsearcher.com/jobs/b9fec4789de60c2234ea6cf9","canonicalUrl":"https://jobsearcher.com/jobs/b9fec4789de60c2234ea6cf9","title":"Remote Research Engineer - Formal Verification Cryptography","description":"Framework Ventures is seeking a Researcher/Engineer (Formal Verification) to work fully remote on cryptographic implementations for the Ethereum ecosystem. The ideal candidate will have a robust background in cryptography and formal verification tools like Lean, demonstrating effective communication and collaboration skills. The position offers flexibility in hours, with the potential for travel to related events. Join a dynamic team focused on the snarkification of Ethereum and contribute to high assurance cryptography methodologies.#J-18808-Ljbffr","company":"Framework Ventures","rawCompany":"framework ventures","isRemote":true,"isActive":false,"createdAt":"2026-05-23T15:59:30.214Z","occupations":[{"code":"15-1299.07","title":"Blockchain Engineers","slug":"blockchain-engineers"},{"code":"15-1252.00","title":"Software Developers","slug":"software-developers"},{"code":"15-1299.05","title":"Information Security Engineers","slug":"information-security-engineers"}],"industries":[{"code":"541511","title":"Custom Computer Programming Services","slug":"custom-computer-programming-services"},{"code":"541512","title":"Computer Systems Design Services","slug":"computer-systems-design-services"},{"code":"513210","title":"Software Publishers","slug":"software-publishers"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Remote Research Engineer - Formal Verification Cryptography","description":"Framework Ventures is seeking a Researcher/Engineer (Formal Verification) to work fully remote on cryptographic implementations for the Ethereum ecosystem. The ideal candidate will have a robust background in cryptography and formal verification tools like Lean, demonstrating effective communication and collaboration skills. The position offers flexibility in hours, with the potential for travel to related events. Join a dynamic team focused on the snarkification of Ethereum and contribute to high assurance cryptography methodologies.#J-18808-Ljbffr","datePosted":"2026-05-23T15:59:30.214Z","dateModified":"2026-05-23T15:59:30.214Z","hiringOrganization":{"@type":"Organization","name":"Framework Ventures","sameAs":"https://jobsearcher.com"},"jobLocationType":"TELECOMMUTE","applicantLocationRequirements":{"@type":"Country","name":"US"},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"b9fec4789de60c2234ea6cf9"},"url":"https://jobsearcher.com/jobs/b9fec4789de60c2234ea6cf9"}}