Senior Software Engineer – Formal Methods, Agentic Systems
Employment Information
Report this job
Job expired or something wrong with this job?
Job Description
Senior Software Engineer productionizing formal-methods and agentic AI systems. Building provably correct solutions for climate, energy, utilities, and infrastructure clients.
Responsibilities:
- Take the research-grade formal/agentic system to production with packaging, test suite, service interface, documentation, and release cadence
- Own architecture for reliability, packaging, test coverage, typing, CI, performance, and release discipline
- Wrap solver runs in agent loops and define what the agent may touch when a proof fails
- Model client business rules as mechanically checkable constraints and shapes
- Reason over per-customer digital twins, checking proposed changes against constraints and shapes
- Define where LLM agents may assist and where they are forbidden from asserting
- Make proof results legible to client stakeholders
- Partner directly with the system's inventor and help shape the system's future direction
Requirements:
- 5+ years of productionization experience
- Real depth in formal methods, including SMT/constraint solvers, automated theorem proving, or heuristic search over proof and plan spaces
- Experience with data modeling and shape validation, including ontology/taxonomy design, SHACL shapes, RDF/OWL/SPARQL, or comparable schema-level validation on knowledge graphs
- Agentic AI literacy and experience building or wiring LLM agents
- Python fluency and service design skills
- Comfort partnering closely with a principal engineer/inventor
- Familiarity with Z3/SMT/SAT solvers, constraint programming, SHACL/RDF/OWL/SPARQL, Python 3.12+, FastAPI when needed, and Postgres
- Experience with counterexample regression testing, property-based testing, and CI/release discipline for libraries
- Working knowledge of LLM provider APIs and agent frameworks or hand-rolled agent loops
- Bachelor's Degree; Master's is a Plus
- Applicants must be currently authorized to work in the United States on a full-time basis
- Must be able to travel 2x/year for company summits
- Written take-home assignment followed by a live two-hour technical session
- Applicants may apply to a maximum of 2 roles at a time; applying to more than 2 roles within a 6-month period results in disqualification
Benefits:
- Competitive early-stage startup compensation (based on capabilities, experience, and location)
- Bonus eligibility
- Health insurance with meaningful coverage for dependents
- Flexible paid time off
- Equity
- Fully remote culture with a cluster of teammates in Seattle
- Company summits 2x/year
Similar Jobs
Senior Software Developer – Tech Lead
Senior Java Tech Lead building distributed middleware and backend systems for Kyivstar.Tech, a Ukrainian telecom technology company. Designing microservices, APIs, and high-performance services.
Software Engineer 3 – Frontend
Frontend Software Engineer building scalable web and mobile interfaces for Bidgely’s energy-data platform. Developing reusable components, integrating APIs, and applying Generative AI and LLM technologies.
Lead Java Full Stack Engineer, 10+ Years Experience
Engineering Lead designing scalable full-stack applications for Inabia Solutions. Leading technical architecture, mentoring engineers, and developing backend workflow systems.
Senior Software Engineer
Senior Software Engineer building cloud products and infrastructure for Crimson Global Academy, a global online school. Owning backend systems, technical direction, CI/CD, and engineering mentorship.
Senior Full-Stack Developer, Java, Angular
Senior Fullstack Entwickler für Java- und Angular-Projekte bei Rockstardevelopers, einem deutschen Softwareentwickler. Entwicklung in Enterprise- und regulierten Kundenumgebungen mit modernen AI-Tools.
Senior Full-Stack Developer – Angular, Java
Fullstack Developer building Angular, Java, APIs, and frontend solutions for Europace, Germany’s largest real-estate finance marketplace. Operating end-to-end services for consumer lending products.
Tech Lead, Java, Spring Boot
Tech Lead für Java/Spring-Boot-Ratenkreditplattform bei Europace, Deutschlands FinTech-Transaktionsplattform. Verantwortung für Architektur, Delivery, Betrieb und technische Führung.
Senior Software Developer, Creatio Experience
Senior Software Developer building and integrating Creatio CRM and business-process automation solutions for Spectrum One’s enterprise clients. Customizing Classic and Freedom UI with C#, .NET, JavaScript, SQL, and APIs.
C++/C Software Developer – Independent Contractor
C++/C contractor modernizing a telecommunications client's Linux call-handling platform. Migrating CentOS 7 to RHEL 9 and 32-bit C++ subsystems to 64-bit architecture.
Robotics Software Engineer – Rust, ROS2, Embedded
Robotics Software Engineer developing Rust, ROS2, and embedded software for autonomous industrial robotics. Building ground-control, telemetry, communication, and video-streaming systems.
Senior Electrical Product Engineer – Datacenter
Electrical Product Engineer launching NVIDIA datacenter GPU server platforms. Developing manufacturing tests, debugging hardware interactions, and optimizing production quality, yield, and cost.
Senior Software Engineer, Frontend – Platform, Identity
Senior frontend engineer building Coinbase login, signup, OAuth, and account-security experiences. Leading authentication architecture and mentoring engineers at a cryptocurrency financial platform.
Principal Software Engineer
Principal Software Engineer architecting Toast’s payroll and team-management SaaS platform for restaurants. Leading identity, authorization, organizational hierarchy, and agentic technology initiatives.
Software Engineer III – Full Stack, Drupal
Full-stack Drupal engineer building and maintaining Acquia-hosted applications for federal agencies. Delivering scalable digital services with modern engineering practices and mentoring junior developers.
Senior Full-Stack Software Engineer
Engenheiro Full Stack Sênior desenvolvendo aplicações escaláveis com ReactJS, Node.js e bancos de dados. Garantindo alta disponibilidade, observabilidade e qualidade do código.
Senior Software Engineer – Full-Stack, Java/Flutter
Engenheiro Fullstack Sr desenvolvendo soluções Java e Flutter para uma HR Tech. Evolução de software, arquitetura, testes automatizados e colaboração técnica remota.
Mid-Level Software Engineer – Full-Stack, Java, Flutter
Engenheiro Fullstack Java/Flutter desenvolvendo software para uma HR Tech. Criando funcionalidades, garantindo qualidade com testes e apoiando a evolução técnica do time.
Senior Full Stack Developer – AWS Cloud
Desenvolvedor Full Stack Sênior integrando arquitetura cloud AWS. Configurando API Gateway, SQS, Fargate, Snowflake e DynamoDB em soluções distribuídas.
Full-Stack .NET / Next.js Developer (Junior/Mid-Level)
Desenvolvedor Fullstack .NET/Next construindo aplicações web, APIs e integrações. Evolução de plataformas corporativas escaláveis para empresa do segmento financeiro.
Senior Full Stack Software Engineer – React Native
Senior React Native Engineer scaling custom-branded telemedicine apps for Clever Benefits. Owning releases, shared architecture, and production mobile experiences across healthcare client portfolios.