Senior Software Engineer – Formal Methods, Agentic Systems

🔥 0 minutes ago

☕ Washington – Remote

☕ Washington – Remote

💵 $140k - $230k / year

⏰ Full Time

🟠 Senior

🧑‍💻 Full-stack Engineer

👻 Ghost score 2%

What it means: how likely this posting is sitting open without active hiring.How to read it: 60% or higher means we think this is a ghost. Lower scores are less of a worry.How we score it: age, reposts, open roles vs team size, how fast jobs close, and whether pay is listed.Fine print: an estimate from public data, not a judgment of the company. Real jobs can score high, so treat it as a hint, not a fact.

Apply Now

Find Similar Remote Jobs

Set Up Email Alert For New Jobs

📊 Check your resume score for this job

Improve your chances of getting an interview by checking your resume score before you apply.

Upload Resume

AZX

WebsiteLinkedInAll Job Openings

1 - 10 employees

Founded 2024

💼 Consulting

📦 Logistics

🏗️ Construction

Consulting • Logistics • Construction

AZX is a public benefit corporation delivering AI solutions specifically tailored for the energy, real estate, and supply chain industries. They focus on solving client problems expediently by leveraging innovative strategies and engineering AI-enabled solutions that provide measurable results. With a mission-driven approach, AZX emphasizes creating impact in both organizational efficiency and environmental sustainability.

📋 Description

• 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