About the role

Role Overview

Software Engineer to develop a predicate/invariant framework for data contracts and build validation layers for an annotation platform.

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 own implementations independently

Requirements

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

Nice-to-haves

Experience with AI and code tooling (implied by the opportunity)
Experience collaborating closely with architects and engineering teams

Compensation

Competitive hourly rate: $50–$60

About Haystack

Haystack is a staffing and IT services organization that connects skilled professionals with top employers. It helps companies drive innovation by matching talent to technology and business needs.

Tags