Senior Software Engineer, Formal Methods & AI Agents Remote

Matcha; Northern (KY); Hybrid; USD 150,000 - 230,000; Full time

Benefits offered by this job

Health insurance

Equity

Fully remote culture

Flexible paid time off

Bonus eligibility

Job summary

AZX is seeking a Software Engineer to bring a research-grade formal/agentic system to production. You will packaging, test, document, and maintain a robust interface that enables AI-driven proofs and checked client solutions.

Collaborate with the inventor, ensuring reliability, CI, and scalable performance across complex constraints. You should have strong Python skills, hands-on experience with SMT solvers, SHACL/RDF/OWL/SPARQL, and experience deploying in production with test automation,

Qualifications

• 5+ years of productionization experience with packaging, tests, CI, observability and docs.
• Deep knowledge of formal methods with SMT/constraint solvers or related techniques.
• Experience modeling data structures, SHACL shapes, and RDF/OWL schemas.
• Familiarity with LLM agents and their failure modes in formal tooling.
• Strong Python engineering skills and service design for production systems.

Responsibilities

• Take the research-grade formal/agentic system to production with packaging, tests, and release discipline.
• Own architecture for reliability, packaging, test coverage, typing, CI, and performance.
• Wrap solver runs in agent loops with safety rules around proof handling.
• Model client business rules as constraints and shapes for automated validation.
• Reason over per-customer digital twins and verify changes against constraints before deployment.
• Define agent seams and safeguards for agent-assisted vs. asserted results.
• Make proof results legible to client stakeholders and communicate what was checked.

Skills

Python

Formal methods

Agentic AI literacy

Productionization

CI/CD

Testing

Education

Bachelor's Degree

Master's degree

Tools

Z3/SMT

SHACL/RDF/OWL/SPARQL

Postgres

FastAPI

Job description

AZX is seeking a Software Engineer to bring a research-grade formal/agentic system to production. You will packaging, test, document, and maintain a robust interface that enables AI-driven proofs and checked client solutions.

Collaborate with the inventor, ensuring reliability, CI, and scalable performance across complex constraints. You should have strong Python skills, hands-on experience with SMT solvers, SHACL/RDF/OWL/SPARQL, and experience deploying in production with test automation,