Senior Software Engineer – Formal Methods, Agentic Systems

🕒 3 dias atrás

☕ Washington – Remoto

☕ Washington – Remote

💵 $140.000 - $230.000 / ano

⏰ Tempo Integral

🟠 Sênior

🧑‍💻 Engenheiro Full-stack

👻 Score fantasma 2%

O que significa: quão provável esta vaga está aberta sem contratação ativa.Como ler: 60% ou mais significa que achamos que é uma vaga fantasma. Pontuações mais baixas preocupam menos.Como pontuamos: tempo em aberto, republicações, vagas abertas vs tamanho do time, rapidez para fechar vagas, e se o salário está divulgado.Observação: é uma estimativa de dados públicos, não um julgamento da empresa. Vagas reais podem ter pontuação alta, então use como uma dica, não como um fato.

Candidatar-se

Encontrar Vagas Remotas Similares

Configurar Alerta de Email para Novas Vagas

📊 Verifique sua pontuação de currículo para esta vaga

Melhore suas chances de conseguir uma entrevista verificando sua pontuação de currículo antes de se candidatar.

Enviar Currículo

AZX

SiteLinkedInTodas as Vagas

1 - 10 funcionários

Fundada em 2024

💼 Consultoria

📦 Logística

🏗️ Construção

Consulting • Logistics • Construction

A AZX é uma empresa de capital aberto que oferece soluções de IA especificamente adaptadas para as indústrias de energia, imobiliária e cadeia de suprimentos. Elas se concentram em resolver problemas dos clientes de forma rápida, aproveitando estratégias inovadoras e desenvolvendo soluções capacitadas por IA que proporcionam resultados mensuráveis. Com uma abordagem orientada por missões, a AZX enfatiza a criação de impacto tanto na eficiência organizacional quanto na sustentabilidade ambiental.

Descrição

• 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

🎯 Requisitos

• 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

🏖️ Benefícios

• 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