We're collaborating with a leading IT services and solutions provider that helps global enterprises optimize their technology investments and drive digital transformation. They are at the forefront of leveraging AI to enhance software development. The Role

• Develop and implement a predicate and invariant framework for data contracts using Python.
• Design declarative contract classes that attach to Python methods and verify code implementation.
• Evolve and extend annotation data platforms, including schema and adapter layers for Machine Learning data.
• Turn abstract contract concepts into user-friendly APIs and diagnostics.
• Investigate verification and validation failures, determining appropriate fixes.
• Document the framework thoroughly and facilitate knowledge transfer within the team.

What You'll Need

• Demonstrated comfort with formal and abstract structures like logic, type systems, and program analysis.
• Ability to drive both vision and execution in software development.
• Deep expertise in production Python, including decorators, descriptors, metaclasses, and type hints.
• Strong analytical reasoning skills to navigate ambiguous or underspecified ideas.
• Excellent communication skills for technical ideas in written formats.
• Independence in scoping and delivering work, with sound judgment for escalating design questions.

What's On Offer

• Opportunity to work on cutting-edge AI-driven software development tools.
• Competitive hourly rate of $50 - $60.
• Engaging work focused on improving code correctness and efficiency.
• Comprehensive benefits package including medical, dental, vision, and 401(k).

Apply via Haystack today!