Sr. Software Engineer

Insight Global • Westbrook, ME • 1h ago

Job Description

We're looking for a Software Engineer to build a contract-verification framework for IDEXX's AI/ML platform: a system of declarative predicates and invariants that governs how Python code is allowed to change. This is closer to compiler and program-analysis work than to data engineering - you'll turn formal specifications into tooling that verifies code automatically.

Your work will help ensure the reliability of the ML systems that power IDEXX's diagnostic products.

AI assistants have made writing code dramatically faster. They have not made writing correct code dramatically faster - that gap is widening, and the tooling that closes it matters more than it used to. That's the work this role exists to do.

A common thread runs through everything we build: a formal specification - a schema, a contract, a grammar - is the source of truth, and the tooling we write makes other code conform to that specification automatically.When the specification is the source of truth, code that doesn't match it fails loudly rather than silently - whether that code was written by a human, generated by an AI assistant, or somewhere in between.

Your primary focus:

Predicate & invariant framework for data contracts - the core of the role.

o Design and implement declarative contract classes that attach to Python methods (design-by-contract decorators - no relation to the ML data annotations below) and trigger verification of the code inside, using AST-level analysis.

o Predicates enforce data contracts: they state what a method must guarantee about the data it produces or consumes, and the verifier checks the implementation against those statements.

o Invariants constrain evolution: they state properties of the codebase that must survive change, so that modifications - human- or AI-authored - that would break them fail at verification time, not in production.

o You'll shape the vocabulary of predicates and invariants together with the architect, build the verifier and its diagnostics, and make violation messages clear enough that they teach the contract they enforce.

We are a company committed to creating diverse and inclusive environments where people can bring their full, authentic selves to work every day. We are an equal opportunity/affirmative action employer that believes everyone matters. Qualified candidates will receive consideration for employment regardless of their race, color, ethnicity, religion, sex (including pregnancy), sexual orientation, gender identity and expression, marital status, national origin, ancestry, genetic factors, age, disability, protected veteran status, military or uniformed service member status, or any other status or characteristic protected by applicable laws, regulations, and ordinances. If you need assistance and/or a reasonable accommodation due to a disability during the application or recruiting process, please send a request to HR@insightglobal.com.To learn more about how we collect, keep, and process your private information, please review Insight Global's Workforce Privacy Policy: https://insightglobal.com/workforce-privacy-policy/.

Skills and Requirements

Your primary focus:

Predicate & invariant framework for data contracts - the core of the role.

o Predicates enforce data contracts: they state what a method must guarantee about the data it produces or consumes, and the verifier checks the implementation against those statements.

o Design-by-contract tooling (icontract, deal, Eiffel, JML, Dafny) or other program-verification exposure.

o Property-based testing (Hypothesis or similar).

Code-as-data work

o Parsing or analyzing source code (Python ast / libcst, tree-sitter, or equivalents); codemods; mypy plugins or typing internals.

o Code generation, templating, or compiler back-ends - especially if you've maintained a code generator in production.

Rule and constraint systems

o DSLs, OPA/Rego, rule engines, or knowledge-representation/constraint languages (OWL, RDF, SHACL, Datalog).

o Translating declarative business rules into executable validation logic.

Schema and validation tooling

o Avro, JSON Schema, OpenAPI/Swagger, LinkML

Similar Jobs

Manufacturing Engineer

Actalent • Scarborough, ME • 1h ago

IT & Engineering

Actalent is hiring for a Quality/Manufacturing Engineer in the Scarborough, ME area! ? Job Description This role focuses on improving manufacturing quality and reliability by identifying root causes of failures, optimizi...

1h ago

Go to Apply

Software Engineer II- Internal

Indeed • Portland, ME • 1h ago

IT & Engineering

Our Mission As the world's number 1 job site*, our mission is to help people get jobs. We strive to cultivate an inclusive and accessible workplace where all people feel comfortable being themselves. We're looking to gro...

1h ago

Go to Apply

Electrical Engineering (ESSP) Intern - Summer 2027

WSP USA • Freeport, ME • 2d ago

IT & Engineering

This Opportunity WSP USA hosts hundreds of internships across the United States to gain hands-on, meaningful work experience to enhance their education and professional aptitude. Our interns gain exposure to real project...

2d ago

Go to Apply

Data Scientist

TEKsystems • Westbrook, ME • 3d ago

IT & Engineering

Description Develop classification and clustering models on tabular data to support hematology analyzer capabilities - Contribute to model development, evaluation, and iteration under the guidance of a senior data scient...

3d ago

Go to Apply

Machine Learning Engineer II

Indeed • Portland, ME • 4d ago

IT & Engineering

4d ago

Go to Apply

Lead Data Scientist, Glassdoor

Indeed • Portland, ME • 6d ago

IT & Engineering

6d ago

Go to Apply

(USA) Tire & Battery Technician - Automotive -PT

Walmart • Scarborough, ME • 1w ago

IT & Engineering

Position Summary... As a Tire & Battery Center Technician you will work to provide safe and efficient service in both the sales and service areas of the department and deliver to our members more of what they love, f...

1w ago

Go to Apply

Warehouse Technician - Westbrook, ME

The Goodyear Tire & Rubber Company • Westbrook, ME • 1w ago

IT & Engineering

Let's Connect APPLY TODAY To Schedule Your On Site Interview! Text "Goodyear" to 66866 to connect with a recruiter! The pay range for this position is $20 - $24/hr; however, base pay offered may vary depending on factors...

1w ago

Go to Apply

EPI Manufacturing Process Engineer (MFAB)

Texas Instruments • South Portland, ME • 1w ago

IT & Engineering

Change the world. Love your job. Texas Instruments is looking for an energetic engineer with a passion for process. This position provides the opportunity to drive continual improvement at all levels. Our team is primari...

1w ago

Go to Apply

Manufacturing Automation Engineer II

Abbott • Westbrook, ME • 1w ago

IT & Engineering

Abbott is a global healthcare leader that helps people live more fully at all stages of life. Our portfolio of life-changing technologies spans the spectrum of healthcare, with leading businesses and products in diagnost...

1w ago

Go to Apply

Subscribe to get new jobs sent directly to you
(no charge, cancel anytime)