Senior Software Engineer

Software EngineerWe're looking for a Software Engineer to build a contract-verification framework for AI/ML platform: a system of declarative predicates and invariants that governs how Python code is allowed to change. This role involves turning formal specifications into tooling that verifies code automatically, ensuring the reliability of the ML systems that power diagnostic products.Required Skills & QualificationsComfort with formal and abstract structures — logic, type systems, program analysis, algebraic thinking — demonstrated by working software you built from them.Deep production Python: decorators, descriptors, metaclasses, type hints, and the standard library.Strong analytical reasoning: comfort working from ambiguous or underspecified ideas and finding structure.Ability to communicate technical ideas clearly in writing (design docs, code reviews, documentation, async messaging).Independence in scoping and delivering work, with the judgment to escalate complex design questions.Prior work experience at client or in client's IndustryApplicants must be able to work directly for Artech on W2Preferred Skills & QualificationsA computer-science degree, or any particular number of years of experience.Prior data engineering or ML experience (the role is adjacent to ML, not part of model training).Experience with our exact stack (Avro, Databricks, Spark, dbt, etc. can be learned on the job).Day-to-Day ResponsibilitiesDesign and implement the predicate/invariant framework: contract classes, the AST-based verifier, and CI integration.Turn abstract contract concepts into APIs and diagnostics that working engineers adopt willingly.Extend and evolve schemas, adapters, and validation layers for the annotation platform under its established change process.