Software Engineer

Job Description

Develop and implement a predicate and invariant framework for data contracts using Python. Collaborate with a senior architect to design and own the implementation of validation layers and annotation platforms.

Requirements: Requires deep expertise in production Python, including advanced features like metaclasses and type hints. Candidates must have experience with formal structures such as logic and program analysis and be able to work independently on ambiguous designs.

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