AI Verification Engineer - Remote-First

Predictable Machines; Sevilla; A distancia; EUR 50.000 - 70.000; Jornada completa

Descripción de la vacante

A pioneering AI company in Spain is looking for a Verification-Focused AI Engineer to develop trustworthy AI systems through formal verification and functional programming. This role offers the chance to work on real projects, enhance AI reliability, and promote an innovative, collaborative work culture. The ideal candidate should have a strong background in computer science or mathematics and be proficient in functional programming languages, with a flexible remote-first work environment.

Servicios

Access to state-of-the-art AI tools

Flexible remote-first working environment

Opportunity for skill growth and full-time transition

Formación

• Strong foundation in Computer Science, Mathematics, or Engineering.
• Proficiency in functional programming languages like Kotlin or TypeScript.
• Interest in mathematical reasoning and formal methods.

Responsabilidades

• Build verification-first AI systems focusing on streaming workflows.
• Integrate formal verification tools to ensure AI outputs are correct.
• Design streaming verification workflows into auditable pipelines.

Conocimientos

Functional programming

Mathematical reasoning

Systems thinking

Collaborative engineering skills

Educación

Computer Science degree

Mathematics / Logic background

Herramientas

Kotlin

TypeScript

Docker

Descripción del empleo

A pioneering AI company in Spain is looking for a Verification-Focused AI Engineer to develop trustworthy AI systems through formal verification and functional programming. This role offers the chance to work on real projects, enhance AI reliability, and promote an innovative, collaborative work culture. The ideal candidate should have a strong background in computer science or mathematics and be proficient in functional programming languages, with a flexible remote-first work environment.