2 English-speaking jobs in Cádiz

Verification-Focused AI Engineer will build trustworthy AI systems using Kotlin, TypeScript, and formal verification tools. Responsibilities include developing verification pipelines, integrating formal verification tools, and designing streaming workflows.

Senior Engineer to architect and lead the development of AI verification systems. Designs streaming verification pipelines, formal reasoning workflows, and mathematically rigorous AI validation systems. Integrates formal methods with AI workflows and builds enterprise-grade verification platforms.