Software Engineer

Role Overview

You will build and extend a predicate/invariant framework for data contracts and help shape an annotation platform used for verification and validation.

Responsibilities

• Develop and implement a predicate and invariant framework for data contracts
• Create declarative contract classes for Python methods, ensuring implementations conform to specifications
• Evolve and extend schema, adapters, and validation layers for the annotation platform
• Investigate and resolve verification/validation failures
• Document the framework thoroughly and enable knowledge transfer
• Collaborate with a senior architect on initial designs and then independently own implementation

Requirements

• Experience with formal/abstract structures such as logic, type systems, and program analysis
• Strong analytical reasoning skills for ambiguous or underspecified problems
• Deep production experience with Python, including decorators, descriptors, metaclasses, and type hints
• Proven independence in scoping and delivering work; good judgment for escalating complex design questions
• Excellent technical communication for design docs, code reviews, and documentation

Nice to Have

• Experience collaborating closely with architects and contributing to code tooling for AI development

Compensation

• Competitive hourly rate: $50–$60