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 advanced features like metaclasses and descriptors. Candidates must have experience with formal structures such as logic and type systems along with strong analytical reasoning skills.

Key Skills: Python, Logic, Type Systems, Program Analysis, Decorators, Descriptors, Metaclasses, Type Hints, Analytical Reasoning, Technical Communication, Software Design, Data Contracts