{"schemaVersion":"jobsearcher.job.v1","id":"9b49f85c4f16e37f729d09aa","url":"https://jobsearcher.com/jobs/9b49f85c4f16e37f729d09aa","canonicalUrl":"https://jobsearcher.com/jobs/9b49f85c4f16e37f729d09aa","title":"Systems Engineer: Scalable AI Correctness & Security","description":"Theorem in San Francisco is looking for innovative software engineers to build products that ensure software is correct, understandable, and secure. You will be tasked with creating software correctness feedback systems that scale with the complexity of code.\nThe ideal candidate enjoys tackling large projects, has strong problem-solving skills, and is eager to help others. The position offers a competitive salary range of $150,000 to $250,000, along with generous equity options.\n\n#J-18808-Ljbffr","company":"Theorem Lp","rawCompany":"theorem lp","city":"Millbrae","state":"CA","isRemote":false,"isActive":false,"createdAt":"2026-06-20T05:00:44.291Z","occupations":[{"code":"15-1299.08","title":"Computer Systems Engineers/Architects","slug":"computer-systems-engineers-architects"},{"code":"15-1252.00","title":"Software Developers","slug":"software-developers"},{"code":"15-1211.00","title":"Computer Systems Analysts","slug":"computer-systems-analysts"}],"industries":[{"code":"513210","title":"Software Publishers","slug":"software-publishers"},{"code":"541512","title":"Computer Systems Design Services","slug":"computer-systems-design-services"},{"code":"541511","title":"Custom Computer Programming Services","slug":"custom-computer-programming-services"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Systems Engineer: Scalable AI Correctness & Security","description":"Theorem in San Francisco is looking for innovative software engineers to build products that ensure software is correct, understandable, and secure. You will be tasked with creating software correctness feedback systems that scale with the complexity of code.\nThe ideal candidate enjoys tackling large projects, has strong problem-solving skills, and is eager to help others. The position offers a competitive salary range of $150,000 to $250,000, along with generous equity options.\n\n#J-18808-Ljbffr","datePosted":"2026-06-20T05:00:44.291Z","dateModified":"2026-06-20T05:00:44.291Z","hiringOrganization":{"@type":"Organization","name":"Theorem Lp","sameAs":"https://jobsearcher.com"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Millbrae","addressRegion":"CA","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"9b49f85c4f16e37f729d09aa"},"url":"https://jobsearcher.com/jobs/9b49f85c4f16e37f729d09aa"}}