Senior Software Engineer (Formal Methods & Agentic Systems)

Job Description

Transition a research-grade formal and agentic system into a production-ready service with full testing and documentation. Develop models for complex business rules and constraints to ensure provably-right answers for client solutions.

Requirements: Requires 5+ years of productionization experience with deep expertise in formal methods, SMT solvers, and data modeling. Proficiency in Python and experience building LLM-based agentic systems is essential.

Key Skills: Formal Methods, Agentic AI, SMT Solvers, Python, Data Modeling, Constraint Programming, SHACL, RDF/OWL/SPARQL, FastAPI, Postgres, CI/CD, Test Engineering, LLM APIs, Service Design, Knowledge Graphs, Automated Theorem Proving

Benefits: Competitive early-stage startup compensation, Bonus eligibility, Health insurance, Flexible paid time off, Equity