Senior - AI Engineer
Predictable MachinesSantander, Cantabria, SPAINHace 18 días
Descripción del trabajoComputer 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 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. 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. 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.
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 :
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
Required :
Bonus Points :
Crear una alerta de empleo para esta búsqueda
Ai Engineer • Santander, Cantabria, SPAIN
Ofertas relacionadas
- Oferta promocionada
AI Architect
Aderensantander, Cantabria, SPAIN Arquitecto de Inteligencia Artificial (AI Architect).AI Foundry, Azure AI, Copilot y servicios cognitivos.Diseñar arquitecturas de soluciones de IA en entornos Microsoft Azure (Azure OpenAI, Azure ...Mostrar másÚltima actualización: hace 5 días
- Oferta promocionada
AI Engineer
JAKALAsantander, España Inteligencia Artificial de próxima generación, centrándose en el uso de modelos de lenguaje grande (LLMs) y el desarrollo de aplicaciones full stack robustas.
Diseño e Implementación de Soluciones L...Mostrar másÚltima actualización: hace 3 días
- Oferta promocionada
Senior Data Engineer
NEXT DIGITALsantander, España Buscas una nueva oportunidad laboral? En NEXT DIGITAL te estamos buscando.No te voy a aburrir con nuestra historia, pero para que tengas una idea de qué hacemos, llevamos 7 años acompañando a las e...Mostrar másÚltima actualización: hace 4 días
- Oferta promocionada
Senior Data Engineer
NWorld Advisory, Tech & OperationsSantander, Cantabria, Spain NWorld somos un ecosistema de compañías especializadas en Negocio, Tecnología y Operaciones, que busca cubrir toda la cadena de valor del negocio de nuestros Clientes.
Contamos con un equipo de más ...Mostrar másÚltima actualización: hace 23 días
- Oferta promocionada
AI Senior Engineer
NTT DATA Europe & Latamsantander, 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 27 días
- Oferta promocionada
Senior AI Engineer
Trueflagsantander, España Would you like to join a cutting-edge tech project with a positive impact?.From Newtral, Trueflag emerges as a spin-off with the mission of using GenAI and NLP methods to combat disinformation and ...Mostrar másÚltima actualización: hace 3 días
- Oferta promocionada
Generative AI Engineer
ExceliaSantander, Cantabria, Spain Consultoría, Tecnología y Servicios profesionales con 25 años de experiencia.Prestamos servicio en más de 50 países de Europa, América Latina y Estados Unidos desde nuestras 9oficinas propias.Únete...Mostrar másÚltima actualización: hace 5 días
- Oferta promocionada
Senior AI Engineer
Cavendish ProfessionalsSantander, Cantabria, España Our client works on very challenging and exciting projects and is looking for a Senior AI Engineer.Programming : Python (TensorFlow, PyTorch, Scikit-learn).
Advanced ML : Deep Learning, NLP, LLM fi...Mostrar másÚltima actualización: hace 15 días
- Oferta promocionada
Senior Machine Learning Engineer
Intelliassantander, cantabria, España Let’s breathe life into great tech ideas! With 3,000 people globally, Intellias is a company where benchmark technological solutions are born.
Join in and take your part in digitalizing the world.We...Mostrar másÚltima actualización: hace 4 días
- Oferta promocionada
IA Engineer
Capitolesantander, Cantabria, SPAIN Capitole Consulting sigue creciendo y queremos hacerlo contigo! 🚀.IA, que asista a los desarrolladores en la generación de código eficiente y de alta calidad.
Tu trabajo incluirá la investigación d...Mostrar másÚltima actualización: hace 5 días
- Oferta promocionada
Senior - AI Engineer
Predictable MachinesSantander, Cantabria, Spain 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 s...Mostrar másÚltima actualización: hace 19 días
- Oferta promocionada
AI Engineer
The Adecco GroupSantander, Cantabria, Spain Te apasiona la Inteligencia Artificial y quieres trabajar en proyectos innovadores? Buscamos un AI Engineer – Especialista en IA para liderar el diseño e implementación de soluciones inteligente...Mostrar másÚltima actualización: hace 1 día
- Oferta promocionada
AI Engineer
NEXT DIGITALsantander, España Te apasiona la Inteligencia Artificial y quieres formar parte de proyectos que están cambiando la forma de trabajar?.No te vamos a aburrir con nuestra historia.
Llevamos más de 7 años acompañando a ...Mostrar másÚltima actualización: hace 4 días
- Oferta promocionada
AI Engineer
JR SpainSantander, Cantabria, 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
Senior Data Engineer
AstekSantander, Cantabria, Spain At ASTEK Iberia , we are looking for an Senior Data & AI Engineer to join our pharmaceutical partner.You will play a key role in designing and implementing advanced AI and data science solutions...Mostrar másÚltima actualización: hace 5 días
- Oferta promocionada
AI Engineer
Domynsantander, España We're looking for a talented Al Engineer to join our team in Madrid, a talent focused on implementing and scaling large language models (LLMs) and generative Al systems.
In this role, you will bridg...Mostrar másÚltima actualización: hace 3 días
- Oferta promocionada
AI & Data Engineer | Contract
Acquism SARLsantander, España We’re looking for an experienced.You’ll work at the intersection of.You’ll collaborate in a fast-paced.Translate business needs into technical designs and implement intelligent AI-driven solutions....Mostrar másÚltima actualización: hace 2 días
- Oferta promocionada
AI Platform Engineer
Maite.aisantander, España AI agents that transform how legal professionals work.We don't just want to make lawyers 10% faster - we want to reimagine legal practice entirely.
Our mission is simple but ambitious : .We're a team ...Mostrar másÚltima actualización: hace 3 días