Senior Software Engineer
Core
Productionize research-grade formal and agentic systems, defining agent boundaries, modeling compliance constraints, and validating changes against digital twins.
Role type
Senior Software Engineer (Formal Methods & LLM Agents)
Builds
Production-ready formal verification systems, agent loops, and constraint modeling services
Domain
Energy, utilities, commercial real estate, infrastructure
Deliverable
production ML models | product features
Required skills
Formal methods (SMT, constraint solvers, automated theorem proving), LLM agent integration, Python, service design, data modeling (RDF, OWL, SHACL), CI/CD, observability
Preferred skills
Knowledge graph schema validation, counterexample regression testing, property-based testing, energy/infrastructure domain experience
Technologies
Z3, SMT, SAT solvers, constraint programming, SHACL, RDF, OWL, SPARQL, Python 3.12+, FastAPI, Postgres
Responsibilities
Take research-grade formal systems to production with packaging, tests, and release cadence; Own architecture for reliability, typing, and observability; Wrap solver runs in agent loops; Model compliance and business rules as checkable constraints; Check proposed changes against per-customer digital twins; Define boundaries for LLM agent assistance; Communicate proof results to stakeholders
Seniority
Senior, hands-on IC
