{"schemaVersion":"jobsearcher.job.v1","id":"fef2d59586b4e616028c2a92","url":"https://jobsearcher.com/jobs/fef2d59586b4e616028c2a92","canonicalUrl":"https://jobsearcher.com/jobs/fef2d59586b4e616028c2a92","title":"Remote: Formal Methods Software Engineer","description":"CertiK International is seeking a research software engineer to build automated analyses for provably secure blockchain applications. You’ll work on tools using symbolic model checking, SMT solving, and abstract interpretation within a multinational team.\r\nYou will contribute from idea to implementation, collaborating across engineering to improve verification techniques and deliver robust software for customers worldwide.#J-18808-Ljbffr","company":"Certik International","rawCompany":"certik international","city":"Millbrae","state":"CA","isRemote":true,"isActive":false,"createdAt":"2026-11-05T01:36:53.953Z","occupations":[{"code":"15-1252.00","title":"Software Developers","slug":"software-developers"},{"code":"15-1299.07","title":"Blockchain Engineers","slug":"blockchain-engineers"},{"code":"15-1253.00","title":"Software Quality Assurance Analysts and Testers","slug":"software-quality-assurance-analysts-and-testers"}],"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":"Remote: Formal Methods Software Engineer","description":"CertiK International is seeking a research software engineer to build automated analyses for provably secure blockchain applications. You’ll work on tools using symbolic model checking, SMT solving, and abstract interpretation within a multinational team.\r\nYou will contribute from idea to implementation, collaborating across engineering to improve verification techniques and deliver robust software for customers worldwide.#J-18808-Ljbffr","datePosted":"2026-11-05T01:36:53.953Z","dateModified":"2026-11-05T01:36:53.953Z","hiringOrganization":{"@type":"Organization","name":"Certik International","sameAs":"https://jobsearcher.com"},"jobLocationType":"TELECOMMUTE","applicantLocationRequirements":{"@type":"Country","name":"US"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Millbrae","addressRegion":"CA","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"fef2d59586b4e616028c2a92"},"url":"https://jobsearcher.com/jobs/fef2d59586b4e616028c2a92"}}