{"schemaVersion":"jobsearcher.job.v1","id":"08cbdd7a662ffd98b70a5132","url":"https://jobsearcher.com/jobs/08cbdd7a662ffd98b70a5132","canonicalUrl":"https://jobsearcher.com/jobs/08cbdd7a662ffd98b70a5132","title":"Formal Methods Research Engineer - Remote","description":"Code Metal in San Francisco is seeking a Research Engineer specializing in Formal Methods to integrate testing and verification tools into products. You will work alongside researchers to drive innovation and collaborate across teams.\nThe ideal candidate has an advanced degree in a relevant field, strong programming skills in Python or C++, and experience with formal methods techniques. The role offers competitive benefits including health coverage and flexible work arrangements.\n\n#J-18808-Ljbffr","company":"Code Metal","rawCompany":"code metal","city":"Millbrae","state":"CA","isRemote":true,"isActive":false,"createdAt":"2026-07-16T03:29:36.693Z","occupations":[{"code":"15-1252.00","title":"Software Developers","slug":"software-developers"},{"code":"17-2199.00","title":"Engineers, All Other","slug":"engineers-all-other"},{"code":"15-1221.00","title":"Computer and Information Research Scientists","slug":"computer-and-information-research-scientists"}],"industries":[{"code":"541511","title":"Custom Computer Programming Services","slug":"custom-computer-programming-services"},{"code":"513210","title":"Software Publishers","slug":"software-publishers"},{"code":"541720","title":"Research and Development in the Social Sciences and Humanities","slug":"research-and-development-in-the-social-sciences-and-humanities"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Formal Methods Research Engineer - Remote","description":"Code Metal in San Francisco is seeking a Research Engineer specializing in Formal Methods to integrate testing and verification tools into products. You will work alongside researchers to drive innovation and collaborate across teams.\nThe ideal candidate has an advanced degree in a relevant field, strong programming skills in Python or C++, and experience with formal methods techniques. The role offers competitive benefits including health coverage and flexible work arrangements.\n\n#J-18808-Ljbffr","datePosted":"2026-07-16T03:29:36.693Z","dateModified":"2026-07-16T03:29:36.693Z","hiringOrganization":{"@type":"Organization","name":"Code Metal","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":"08cbdd7a662ffd98b70a5132"},"url":"https://jobsearcher.com/jobs/08cbdd7a662ffd98b70a5132"}}