Senior Software Engineer – Formal Methods, Agentic Systems

This is a fully remote position, open to applicants in Washington.

📋 Description

• Transition the research-grade formal/agentic system into production, ensuring comprehensive packaging, a robust test suite, a clear service interface, thorough documentation, and a consistent release schedule.

• Take ownership of the architecture to guarantee reliability, effective packaging, extensive test coverage, proper typing, continuous integration, performance optimization, and disciplined release processes.

• Enclose solver operations within agent loops and delineate the permissible actions of the agent when a proof fails.

• Model client-specific business rules as mechanically verifiable constraints and structures.

• Analyze per-customer digital twins, validating proposed modifications against the established constraints and structures.

• Identify areas where LLM agents can provide support and specify where they are prohibited from making assertions.

• Ensure the clarity of proof results for client stakeholders.

• Collaborate directly with the system's creator to influence the future trajectory of the system.

⛳️ Requirements

• A minimum of 5 years of experience in productionization.

• Strong expertise in formal methods, encompassing SMT/constraint solvers, automated theorem proving, or heuristic searches across proof and planning landscapes.

• Proficient in data modeling and shape validation, including the design of ontologies/taxonomies, SHACL shapes, RDF/OWL/SPARQL, or similar schema-level validation techniques for knowledge graphs.

• Familiarity with agentic AI and experience in constructing or integrating LLM agents.

• Proficient in Python and skilled in service design.

• Ability to work closely with a principal engineer/inventor.

• Knowledge of Z3/SMT/SAT solvers, constraint programming, SHACL/RDF/OWL/SPARQL, Python 3.12+, FastAPI as required, and Postgres.

• Experience with counterexample regression testing, property-based testing, and maintaining CI/release discipline for libraries.

• Practical understanding of LLM provider APIs and agent frameworks or custom agent loops.

• Bachelor's Degree; a Master's Degree is preferred.

• Candidates must be currently authorized to work in the United States on a full-time basis.

• Must be willing to travel twice a year for company summits.

• Completion of a written take-home assignment followed by a live two-hour technical interview.

• Applicants may submit applications for a maximum of 2 roles at once; applying for more than 2 roles within a 6-month timeframe will result in disqualification.

🏝️ Benefits

• Competitive compensation package typical of early-stage startups, determined by skills, experience, and location.

• Eligibility for bonuses.

• Comprehensive health insurance with significant coverage for dependents.

• Flexible paid time off policy.

• Equity participation.

• Fully remote working environment with a community of teammates located in Seattle.

• Company summits held twice a year.