{"schemaVersion":"jobsearcher.job.v1","id":"014e6b64bc8be0ebdd275d2d","url":"https://jobsearcher.com/jobs/014e6b64bc8be0ebdd275d2d","canonicalUrl":"https://jobsearcher.com/jobs/014e6b64bc8be0ebdd275d2d","title":"Senior Software Engineer - Contract Verification (Remote)","description":"DeWinter Group seeks a Senior Software Engineer to design and implement a contract-verification framework that governs IDexx's AI/ML platform. You will build reliable tooling at the intersection of formal logic, code analysis, and modern Python workflows, delivering scalable verification features within a collaborative environment.\r\nYou will own core verification tooling, ship a predicate decorator with diagnostics within CI, and help evolve data contracts across pipelines and platforms.\r\nJ-18808-Ljbffr","company":"DeWinter Group","rawCompany":"dewinter group","city":"Westbrook","state":"CT","isRemote":true,"isActive":false,"createdAt":"2026-08-08T01:06:56.190Z","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":"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":"Senior Software Engineer - Contract Verification (Remote)","description":"DeWinter Group seeks a Senior Software Engineer to design and implement a contract-verification framework that governs IDexx's AI/ML platform. You will build reliable tooling at the intersection of formal logic, code analysis, and modern Python workflows, delivering scalable verification features within a collaborative environment.\r\nYou will own core verification tooling, ship a predicate decorator with diagnostics within CI, and help evolve data contracts across pipelines and platforms.\r\nJ-18808-Ljbffr","datePosted":"2026-08-08T01:06:56.190Z","dateModified":"2026-08-08T01:06:56.190Z","hiringOrganization":{"@type":"Organization","name":"DeWinter Group","sameAs":"https://jobsearcher.com"},"jobLocationType":"TELECOMMUTE","applicantLocationRequirements":{"@type":"Country","name":"US"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Westbrook","addressRegion":"CT","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"014e6b64bc8be0ebdd275d2d"},"url":"https://jobsearcher.com/jobs/014e6b64bc8be0ebdd275d2d"}}