Software Engineer

Job Description

Develop and implement a predicate and invariant framework for data contracts using Python. Design declarative contract classes and evolve schema, adapters, and validation layers for an annotation platform.

Requirements: Requires deep expertise in production Python, including decorators, metaclasses, and type hints. Candidates must have experience with formal structures like logic and type systems, along with strong analytical reasoning skills.

Key Skills: Python, Software Development, Formal Logic, Type Systems, Program Analysis, Decorators, Descriptors, Metaclasses, Type Hints, Data Contracts, Schema Design, Validation Layers, Technical Communication, Design Documentation, Code Review, Analytical Reasoning