Software Engineer

Role Overview

You will develop and implement a predicate and invariant framework for data contracts within an annotation platform. You’ll design declarative contract classes, extend schema/adapter/validation layers, and help ensure code conforms to formal specifications.

Responsibilities

• Develop and implement a predicate and invariant framework for data contracts
• Design declarative contract classes for Python methods and ensure code correctness
• Evolve and extend schema, adapters, and validation layers for the annotation platform
• Investigate and resolve verification and validation failures
• Write comprehensive documentation to 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 ability to balance vision and execution
• Deep production Python experience, including:
  • decorators
  • descriptors
  • metaclasses
  • type hints
• Strong analytical reasoning for ambiguous or underspecified problem statements
• Excellent technical communication for design docs, code reviews, and documentation
• Proven independence in scoping and delivering work; know when to escalate complex design questions

Nice to Have

• Experience collaborating closely with architects and working on AI/code tooling projects

Compensation

• Competitive hourly rate: $50–$60/hour