AI Engineer

Senior AI Engineer – AI Verification Systems Location: Cadiz, Spain Type: Full-time Department: Engineering Overview

Predictable Machines is seeking a Senior Engineer to architect and lead the development of mathematically rigorous AI verification systems. We're building the next generation of trustworthy AI—where every output is traceable, verifiable, and backed by formal reasoning. We're tackling a fundamentally different challenge: Rather than building faster or more capable AI, we're ensuring AI systems produce provably correct, auditable results. The platform combines streaming verification architectures, formal methods (SMT solvers), and functional programming principles to create AI systems that enterprises can actually trust with critical decisions. Responsibilities

Architect verification-first systems—design streaming architectures, event‑driven workflows, and real‑time verification pipelines using Kotlin, TypeScript, and functional programming principles. Integrate formal methods with AI workflows—combine SMT solvers, logical reasoning engines, and mathematical validation tools to produce provably reliable AI systems. Build enterprise‑grade verification platforms—develop Server‑Sent Events APIs, MCP protocol implementations, TypeScript client libraries, and Docker‑based tool ecosystems that other engineers actually want to use. Lead mathematical AI reliability—implement multi‑layered verification (factual, logical, mathematical) with complete audit trails, source provenance, and confidence scoring systems. Think in systems and proofs—be comfortable with both distributed systems architecture and mathematical reasoning; excited about making AI outputs as reliable as traditional software systems. Qualifications

Architect verification-first AI systems with the CTO and engineering team—design streaming verification pipelines, formal reasoning workflows, and mathematically rigorous AI validation systems that meet enterprise reliability requirements. Lead formal verification methodology development—integrate SMT solvers, logical consistency engines, and mathematical validation tools into cohesive verification architectures; establish standards for AI output correctness and auditability. Drive technical innovation in AI reliability—research and implement novel approaches to real‑time fact‑checking, logical verification, and mathematical validation; contribute to advancing the state‑of‑the‑art in trustworthy AI systems. Build enterprise verification platforms—architect Server‑Sent Events APIs, TypeScript client libraries, Docker‑based tool ecosystems, and MCP protocol implementations that enable seamless integration of verification capabilities into customer applications. This role involves building verification systems that make AI trustworthy, not just impressive. Optimize streaming verification performance—design high‑throughput event processing systems, efficient verification tool orchestration, and scalable containerized architectures that can handle enterprise‑scale verification workloads with minimal latency.

#J-18808-Ljbffr