Senior Software Engineer – Contract Verification & Code Safety

Insight Global; Westbrook (ME); On-site; USD 110,000 - 155,000; Full time

Job summary

Insight Global is seeking a Software Engineer to build a contract-verification framework for IDEXX's AI/ML platform. You will design declarative contract classes attached to Python methods and implement verification using AST-level analysis, ensuring code conforms to formal specifications.

You will shape predicates and invariants, develop the verifier and diagnostics, and craft clear violation messages to teach the contract they enforce.

Qualifications

• Experience with design-by-contract tooling or program-verification exposure.
• Experience parsing or analyzing Python code (Python AST / libcst).
• Knowledge of DSLs or rule engines is a plus.

Responsibilities

• Design-by-contract tooling attached to Python methods and trigger verification of code using AST-level analysis.
• Develop and maintain the predicate and invariant framework, verifiers, and diagnostic messages.
• Collaborate with architect to define vocabulary for predicates and invariants and ensure clear violation messages.

Skills

Design-by-contract tooling

Property-based testing

Python AST / libcst

Tools

icontract

deal

Eiffel

JML

Dafny

Job description

Insight Global is seeking a Software Engineer to build a contract-verification framework for IDEXX's AI/ML platform. You will design declarative contract classes attached to Python methods and implement verification using AST-level analysis, ensuring code conforms to formal specifications.

You will shape predicates and invariants, develop the verifier and diagnostics, and craft clear violation messages to teach the contract they enforce.