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.
You will own core verification tooling, ship a predicate decorator with diagnostics within CI, and help evolve data contracts across pipelines and platforms.
#J-18808-Ljbffr