Junior - AI Engineer, Cadiz / Spain

Overview

Predictable Machines is building the next generation of verifiable AI systems—combining cutting-edge language models with formal verification, functional programming, and mathematical rigor. We're seeking a Verification-Focused AI Engineer who thrives at the intersection of AI capabilities and mathematical precision.

We're looking for someone who :

• Understands both AI potential and limitations —excited about LLMs but equally passionate about making them reliable, traceable, and mathematically sound.
• Embraces functional programming paradigms —comfortable with Kotlin, TypeScript, and compositional system design for building deterministic, verifiable AI workflows.
• Has curiosity about formal methods —interested in SMT solvers, logical reasoning, mathematical validation, or formal verification techniques (experience preferred but not required).
• Thinks in systems and workflows —drawn to event-driven architectures, streaming systems, and building complex verification pipelines rather than just prompt engineering.
• Values transparency and explainability —motivated by building AI systems where every decision can be traced, verified, and explained with mathematical rigor.
• Ideal backgrounds include : Computer Science with formal methods exposure; Mathematics / Logic with programming experience; Software Engineering with AI / verification interest; Research experience in AI safety, verification, or explainable AI

This role involves building verification systems that make AI trustworthy, not just impressive. If you're excited about combining the power of large language models with the rigor of formal verification, we want to meet you.

Key responsibilities

Qualifications

What we offer

#J-18808-Ljbffr