Software Engineer - Senior

Job Description Location: Hybrid in Westbrook, CT or Remote - EST Job Description: Responsibilities: Your primary focus: Predicate & invariant framework for data contracts - the core of the role. 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. Predicates enforce data contracts: they state what a method must guarante…