Senior - Ai Engineer
WhatJobsPamplona, Kingdom Of Spain, EspañaHace 12 días
Descripción del trabajoPredictable 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 AIThis 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- Build verification-first AI systems alongside senior engineers, focusing on Server-Sent Events architectures, streaming workflows, and real-time verification pipelines using Kotlin and TypeScript.- Develop and integrate formal verification tools—work with SMT solvers, logical reasoning systems, and mathematical validation tools to ensure AI outputs are provably correct and traceable.- Design streaming verification workflows that combine factual verification (web search), logical validation (formal methods), and mathematical checking (computational tools) into coherent, auditable pipelines.- Implement TypeScript client libraries and UI components for real-time research steppers, verification progress visualization, and interactive audit trail interfaces with full type safety.- Contribute to Docker-based tool ecosystem—help maintain and extend the 17+ containerized verification tools, MCP server implementations, and automated deployment systems.- Participate in verification methodology research—explore new approaches to AI fact-checking, logical consistency testing, and mathematical validation while maintaining functional programming principles.- Support enterprise integration patterns—help build authentication systems, multi-tenancy features, and API integrations that allow verification capabilities to be embedded in customer applications.Required : - Strong foundation in Computer Science, Mathematics, or Engineering—degree preferred but exceptional self-taught candidates with demonstrated systems-building experience welcome.- Proficiency in functional programming languages—experience with Kotlin, TypeScript, or Scala preferred; comfort with immutable data structures, composable functions, and type-safe architectures.- Interest in mathematical reasoning and formal methods—curiosity about logic, proof systems, SMT solvers, or mathematical validation (coursework or personal projects demonstrate this).- Systems thinking mindset—experience with event-driven architectures, streaming systems, API design, or containerized applications; understanding that AI is part of larger, reliable systems.- Collaborative engineering skills—comfort with Git workflows, code reviews, and building production-quality software rather than just research prototypes.Bonus Points : - Formal methods exposure—coursework or projects involving theorem provers, model checking, constraint solving, or mathematical verification tools.- LLM integration experience—but focused on reliability, evaluation, and systematic testing rather than just prompt engineering.- Functional programming enthusiasm—personal projects or contributions to FP ecosystems;
understanding of monads, type systems, or category theory.- Enterprise software experience—authentication systems, multi-tenancy, observability, or building APIs that other developers actually use.- Interest in AI safety / explainability—genuine curiosity about making AI systems transparent, auditable, and mathematically sound.- Hands-on mentorship from experienced AI engineers and researchers.- Opportunity to work on real projects with impact in the AI reliability space.- Flexible, remote-first working environment.- A chance to grow your skills and transition into a full-time role in a fast-growing company.- Access to state-of-the-art AI tools and learning resources.
Crear una alerta de empleo para esta búsqueda
Ai Engineer • Pamplona, Kingdom Of Spain, España
Ofertas relacionadas
- Oferta promocionada
Process engineer / Automation Engineer
etalentum SelecciónCalahorra, Autonomía de La Rioja, Spain En Etalentum seleccionamos para una planta industrial de última generación ubicada en Calahorra (La Rioja), dedicada a la producción de placas ecológicas de yeso laminado, un / a Process Engineer / A...Mostrar másÚltima actualización: hace 11 días
- Oferta promocionada
AI Senior Engineer
NTT DATA Europe & Latampamplona, España NTT DATA is the 6th biggest IT Service Company in the world with more than 100.We at NTT DATA Spain make the difference by being close to our clients, exceeding expectations, managing proactively o...Mostrar másÚltima actualización: hace 21 días
- Oferta promocionada
Senior - AI Engineer
Predictable Machinespamplona, España Predictable Machines is building the next generation of verifiable AI systems—combining cutting-edge language models with formal verification, functional programming, and mathematical rigor.Verific...Mostrar másÚltima actualización: hace 13 días
- Oferta promocionada
Full Stack & AI developer - Prácticas
gambooza I Fighting Food Wastepamplona, España Gambooza es una startup que tiene como misión conseguir que la industria alimentaria sea radicalmente más eficiente y sostenible.
Nuestra solución impulsada por IA ayuda a las empresas del sector a ...Mostrar másÚltima actualización: hace 11 días
- Oferta promocionada
Ai Platform Engineer
WhatJobsPamplona, Kingdom Of Spain, España En Capitole, buscamos un / a AI Platform Engineer para impulsar la estrategia, arquitectura y adopción de soluciones de IA conversacional y generativa en entornos empresariales globales.Si te apasion...Mostrar másÚltima actualización: hace 19 días
- Oferta promocionada
Process engineer / automation engineer
Etalentum SelecciónCalahorra, La Rioja, España En Etalentum seleccionamos para una planta industrial de última generación ubicada en Calahorra (La Rioja), dedicada a la producción de placas ecológicas de yeso laminado, un / a Process Engineer / A...Mostrar másÚltima actualización: hace 9 días
- Oferta promocionada
Digital Director -
Avenir RénovationsCalahorra, La Rioja, España Buscamos Directores de Franquicia para expandir Avenir Reformas en España! &## ;&## ;.En Avenir Reformas , red francesa en plena expansión internacional, buscamos Directores de Franquicia c...Mostrar másÚltima actualización: hace 7 días
- Oferta promocionada
Continuous Improvement Manager
Avure HPPMarcilla, Ribera Alta, España Continuous Improvement Manager – Avure HPP, Marcilla, Navarre, Spain.Avure HPP Marcilla, Chartered Community of Navarre, Spain.
Continuous Improvement Manager.This on‑site position, five days a week...Mostrar másÚltima actualización: hace 5 días
- Oferta promocionada
AI / ML Engineer
PropHeropamplona, España At PropHero we are seeking a versatile AI Engineer to join our team and help us advance both classic Machine Learning models and cutting-edge generative AI systems.
In this role, you’ll work across ...Mostrar másÚltima actualización: hace 3 días
- Oferta promocionada
Artificial Intelligence Engineer
JR SpainPamplona, Área Metropolitana, España El futuro se construye con talento, pasión e innovación.En Paradigma, sabemos que la tecnología es la clave para transformar el mundo, pero son las personas quienes hacen la diferencia.Ingeniero / a ...Mostrar másÚltima actualización: hace más de 30 días
- Oferta promocionada
AI Platform Engineer
Capitolepamplona, España IA conversacional y generativa.Si te apasiona integrar tecnologías de.Mostrar másÚltima actualización: hace 18 días
- Oferta promocionada
AI Engineer
JR SpainPamplona, Área Metropolitana, España Somos una empresa de #tecnología construida con un ingrediente diferencial, la.Formar parte de hiberus significa crecimiento, pasión por la tecnología, interés por la innovación, ambiente laboral f...Mostrar másÚltima actualización: hace más de 30 días
- Oferta promocionada
Especialista soporte técnico NI
FIDESOLCalahorra, La Rioja, España La Fundación I+D Del Software Libre es un Centro de Apoyo a la innovación dónde desarrollamos y ejecutamos proyectos de I+D+I basados en las tecnologías mas punteras, cómo Realidad aumentada, Difer...Mostrar másÚltima actualización: hace 15 días
- Oferta promocionada
Full Stack & Ai Developer - Prácticas
WhatJobsPamplona, Kingdom Of Spain, España Gambooza es una startup que tiene como misión conseguir que la industria alimentaria sea radicalmente más eficiente y sostenible.
Nuestra solución impulsada por IA ayuda a las empresas del sector a ...Mostrar másÚltima actualización: hace 8 días
- Oferta promocionada
TECNICO / A PRL
Paul MarlexMarcilla, Chartered Community of Navarre, Spain Prevención de Riesgos Laborales.Coordinar, implementar y supervisar el.Colaborar en auditorías internas y externas.Gestionar documentación, EPIs y planes de emergencia.
Prevención de Riesgos Laboral...Mostrar másÚltima actualización: hace más de 30 días
- Oferta promocionada
Ingeniero Especialista en Automatizacion y Nuevos Equipamientos
GKN AutomotiveCarcastillo, Zona Media, España Process & Automation Engineer – New Projects – Carcastillo.For the last 70 years we have been putting key technologies into series production.
We are the trusted partner for most of the world’s auto...Mostrar másÚltima actualización: hace 16 días
- Oferta promocionada
Senior Machine Learning Engineer (LLM & GPU Architecture)
European Tech Recruitpamplona, España Senior Machine Learning Engineer (LLM & GPU Architecture).This is a great opportunity to work with one of the biggest growing tech start-ups based in Spain, they are well-funded and one of the most...Mostrar másÚltima actualización: hace más de 30 días
- Oferta promocionada
Ai / Ml Engineer
ClimatizePamplona, Kingdom Of Spain, España At PropHero we are seeking a versatile AI Engineer to join our team and help us advance both classic Machine Learning models and cutting-edge generative AI systems.
In this role, you'll work across ...Mostrar másÚltima actualización: hace 1 día