Senior Software Engineer – Formal Methods, Agentic Systems

🕒 vor 5 Tagen

☕ Washington – Remote

☕ Washington – Remote

💵 $140.000 - $230.000 / Jahr

⏰ Vollzeit

🟠 Senior

🧑‍💻 Full-Stack-Entwickler

👻 Geisterscore 2%

Was es bedeutet: wie wahrscheinlich diese Stelle offen bleibt, ohne dass aktiv eingestellt wird.So liest du es: 60 % oder höher heißt, wir halten das für einen Geisterjob. Niedrigere Werte sind weniger bedenklich.Wie wir werten: Dauer offen, Neuveröffentlichungen, offene Stellen vs Teamgröße, wie schnell Stellen geschlossen werden, und ob ein Gehalt angegeben ist.Hinweis: eine Schätzung aus öffentlichen Daten, kein Urteil über das Unternehmen. Echte Stellen können hoch punkten, nutze es also als Hinweis, nicht als Fakt.

Jetzt Bewerben

Ähnliche Remote-Jobs finden

E-Mail-Benachrichtigung für neue Jobs einrichten

📊 Überprüfen Sie Ihre Lebenslauf-Bewertung für diese Stelle

Verbessern Sie Ihre Chancen auf ein Vorstellungsgespräch, indem Sie Ihre Lebenslauf-Bewertung vor der Bewerbung überprüfen.

Lebenslauf hochladen

AZX

WebsiteLinkedInAlle Stellen

1 - 10 Mitarbeiter

Gegründet 2024

💼 Beratung

📦 Logistik

🏗️ Bauwesen

Consulting • Logistics • Construction

AZX ist eine gemeinnützige Aktiengesellschaft, die KI-Lösungen liefert, die speziell auf die Energie-, Immobilien- und Lieferkettenbranche zugeschnitten sind. Das Unternehmen konzentriert sich darauf, die Probleme der Kunden zügig zu lösen, indem es innovative Strategien nutzt und KI-gestützte Lösungen entwickelt, die messbare Ergebnisse liefern. Mit einem zielgerichteten Ansatz legt AZX Wert darauf, sowohl die organisatorische Effizienz als auch die ökologische Nachhaltigkeit zu fördern.

Beschreibung

• 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

🎯 Anforderungen

• 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

🏖️ Vorteile

• 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