{"schemaVersion":"jobsearcher.job.v1","id":"c05b1ace32583fdbb912be3f","url":"https://jobsearcher.com/jobs/c05b1ace32583fdbb912be3f","canonicalUrl":"https://jobsearcher.com/jobs/c05b1ace32583fdbb912be3f","title":"Software Engineer (Engineer III to Principal) - Formal Methods","description":"OverviewFormal methods engineer role building automated verification tools for smart contracts. Requires experience with model checking, SAT/SMT solving, and programming language theory.Key InformationLocations🇺🇸New York, NY, USA | Seattle, WA, USA | San Francisco, CA, USARemote Friendly NoLanguages HaskellOCaml","company":"Beyondtabscom","rawCompany":"beyondtabscom","city":"Millbrae","state":"CA","isRemote":false,"isActive":false,"createdAt":"2026-07-23T12:52:29.084Z","occupations":[{"code":"15-1252.00","title":"Software Developers","slug":"software-developers"},{"code":"15-1253.00","title":"Software Quality Assurance Analysts and Testers","slug":"software-quality-assurance-analysts-and-testers"},{"code":"15-1251.00","title":"Computer Programmers","slug":"computer-programmers"}],"industries":[{"code":"541511","title":"Custom Computer Programming Services","slug":"custom-computer-programming-services"},{"code":"513210","title":"Software Publishers","slug":"software-publishers"},{"code":"541512","title":"Computer Systems Design Services","slug":"computer-systems-design-services"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Software Engineer (Engineer III to Principal) - Formal Methods","description":"OverviewFormal methods engineer role building automated verification tools for smart contracts. Requires experience with model checking, SAT/SMT solving, and programming language theory.Key InformationLocations🇺🇸New York, NY, USA | Seattle, WA, USA | San Francisco, CA, USARemote Friendly NoLanguages HaskellOCaml","datePosted":"2026-07-23T12:52:29.084Z","dateModified":"2026-07-23T12:52:29.084Z","hiringOrganization":{"@type":"Organization","name":"Beyondtabscom","sameAs":"https://jobsearcher.com"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Millbrae","addressRegion":"CA","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"c05b1ace32583fdbb912be3f"},"url":"https://jobsearcher.com/jobs/c05b1ace32583fdbb912be3f"}}