{"schemaVersion":"jobsearcher.job.v1","id":"6bc6adddd3a2171588907edc","url":"https://jobsearcher.com/jobs/6bc6adddd3a2171588907edc","canonicalUrl":"https://jobsearcher.com/jobs/6bc6adddd3a2171588907edc","title":"Software Engineer - Senior","description":"Job Title\r\nSenior Software Engineer – Contract Verification & Formal Systems\r\nOverview\r\nAre you passionate about building reliable, formal systems that integrate seamlessly into modern Python workflows? We're seeking a dynamic Senior Software Engineer to design and implement a cutting-edge contract-verification framework that governs IDEXX's AI/ML platform. This role offers the chance to work on foundational tooling that enhances the safety, agility, and evolution of critical diagnostic systems. If you thrive at the intersection of formal logic, code analysis, and practical software engineering, this opportunity will let you shape the future of verification tooling in a collaborative, innovative environment.\r\nRequired Skills\r\nStrong proficiency in Python, including decorators, metaclasses, type hints, and core libraries\r\nDemonstrated experience with formal or abstract structures such as logic, type systems, program analysis, or algebraic thinking (e.g., building tools from formal specifications)\r\nDeep understanding of AST-based code analysis and static verification techniques\r\nExcellent analytical reasoning skills, with the ability to translate ambiguous ideas into concrete, working software\r\nEffective written communication for design documentation, code reviews, and diagnostics\r\nAbility to independently scope, prioritize, and deliver complex features while escalating appropriately\r\nNice to Have Skills\r\nExperience with contract and verification tooling, such as Eiffel, JML, or Dafny\r\nKnowledge of property-based testing frameworks like Hypothesis\r\nFamiliarity with code-as-data techniques, including parsing, analysis, or code generation in Python (libcst, tree-sentinel, mypy internals)\r\nBackground in data engineering or ML, especially related to annotation schemas or data platform evolution\r\nExperience working with schema standards such as Avro, JSON Schema, or OpenAPI/Swagger\r\nPreferred Education and Experience\r\nBachelor's or Master's degree in Computer Science, Software Engineering, or related technical field\r\nProven track record of building production-quality software involving formal specifications or verification methods\r\nNo specific number of years required—demonstrated capability and recent relevant work matter most\r\nOther Requirements\r\nHybrid work model in Westbrook, OR, or fully remote from Connecticut; flexibility to adapt as needed\r\nAbility to work within a W2 contractual arrangement (C2C not available)\r\nStart date: 08/01/2026\r\nDuration: 5 months, with potential for extension based on project needs\r\nSuccess looks like\r\nWithin 30 days, you internalize the platform's specifications and ship a functional predicate verification decorator with diagnostics.\r\nBy 90 days, the core verification framework is enforcing real data contracts within CI pipelines, and teammates confidently write predicates independently.\r\nBy project completion, the framework is well-documented, widely adopted, and the team is ready to extend it further, safeguarding codebase evolution with invariants.\r\nDeWinter Group and Maris Consulting is an equal opportunity employer, and all qualified applicants will receive consideration for employment without regard to race, color, religion, age, sex, national origin, disability status, genetics, protected veteran status, sexual orientation, gender identity or expression or any other characteristic protected by federal, state or local laws. We post pay scales which are based on our client pay ranges. DeWinter, Maris, and our clients have the right to modify the requirements of the role which can impact the pay ranges posted.\r\nJ-18808-Ljbffr","company":"DeWinter Group","rawCompany":"dewinter group","city":"Westbrook","state":"CT","isRemote":false,"isActive":false,"createdAt":"2026-08-08T01:06:55.640Z","occupations":[{"code":"15-1252.00","title":"Software Developers","slug":"software-developers"},{"code":"15-1251.00","title":"Computer Programmers","slug":"computer-programmers"},{"code":"15-1299.08","title":"Computer Systems Engineers/Architects","slug":"computer-systems-engineers-architects"}],"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":"Software Engineer - Senior","description":"Job Title\r\nSenior Software Engineer – Contract Verification & Formal Systems\r\nOverview\r\nAre you passionate about building reliable, formal systems that integrate seamlessly into modern Python workflows? We're seeking a dynamic Senior Software Engineer to design and implement a cutting-edge contract-verification framework that governs IDEXX's AI/ML platform. This role offers the chance to work on foundational tooling that enhances the safety, agility, and evolution of critical diagnostic systems. If you thrive at the intersection of formal logic, code analysis, and practical software engineering, this opportunity will let you shape the future of verification tooling in a collaborative, innovative environment.\r\nRequired Skills\r\nStrong proficiency in Python, including decorators, metaclasses, type hints, and core libraries\r\nDemonstrated experience with formal or abstract structures such as logic, type systems, program analysis, or algebraic thinking (e.g., building tools from formal specifications)\r\nDeep understanding of AST-based code analysis and static verification techniques\r\nExcellent analytical reasoning skills, with the ability to translate ambiguous ideas into concrete, working software\r\nEffective written communication for design documentation, code reviews, and diagnostics\r\nAbility to independently scope, prioritize, and deliver complex features while escalating appropriately\r\nNice to Have Skills\r\nExperience with contract and verification tooling, such as Eiffel, JML, or Dafny\r\nKnowledge of property-based testing frameworks like Hypothesis\r\nFamiliarity with code-as-data techniques, including parsing, analysis, or code generation in Python (libcst, tree-sentinel, mypy internals)\r\nBackground in data engineering or ML, especially related to annotation schemas or data platform evolution\r\nExperience working with schema standards such as Avro, JSON Schema, or OpenAPI/Swagger\r\nPreferred Education and Experience\r\nBachelor's or Master's degree in Computer Science, Software Engineering, or related technical field\r\nProven track record of building production-quality software involving formal specifications or verification methods\r\nNo specific number of years required—demonstrated capability and recent relevant work matter most\r\nOther Requirements\r\nHybrid work model in Westbrook, OR, or fully remote from Connecticut; flexibility to adapt as needed\r\nAbility to work within a W2 contractual arrangement (C2C not available)\r\nStart date: 08/01/2026\r\nDuration: 5 months, with potential for extension based on project needs\r\nSuccess looks like\r\nWithin 30 days, you internalize the platform's specifications and ship a functional predicate verification decorator with diagnostics.\r\nBy 90 days, the core verification framework is enforcing real data contracts within CI pipelines, and teammates confidently write predicates independently.\r\nBy project completion, the framework is well-documented, widely adopted, and the team is ready to extend it further, safeguarding codebase evolution with invariants.\r\nDeWinter Group and Maris Consulting is an equal opportunity employer, and all qualified applicants will receive consideration for employment without regard to race, color, religion, age, sex, national origin, disability status, genetics, protected veteran status, sexual orientation, gender identity or expression or any other characteristic protected by federal, state or local laws. We post pay scales which are based on our client pay ranges. DeWinter, Maris, and our clients have the right to modify the requirements of the role which can impact the pay ranges posted.\r\nJ-18808-Ljbffr","datePosted":"2026-08-08T01:06:55.640Z","dateModified":"2026-08-08T01:06:55.640Z","hiringOrganization":{"@type":"Organization","name":"DeWinter Group","sameAs":"https://jobsearcher.com"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Westbrook","addressRegion":"CT","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"6bc6adddd3a2171588907edc"},"url":"https://jobsearcher.com/jobs/6bc6adddd3a2171588907edc"}}