AI Engineer building verifiable AI systems, focusing on formal verification, functional programming, and mathematical rigor, using Kotlin and TypeScript, with emphasis on reliability and explainability.
(Solo Quedan 15h) Senior - Ai Engineer - Remote • Pamplona, Kingdom Of Spain, España