Urgent! Senior - AI Engineer - Local Job Opening in Vitoria-Gasteiz
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:
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 AI
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
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.
✨ Smart • Intelligent • Private • Secure
Practice for Any Interview Q&A (AI Enabled)
Predict interview Q&A (AI Supported)
Mock interview trainer (AI Supported)
Ace behavioral interviews (AI Powered)
Record interview questions (Confidential)
Master your interviews
Track your answers (Confidential)
Schedule your applications (Confidential)
Create perfect cover letters (AI Supported)
Analyze your resume (NLP Supported)
ATS compatibility check (AI Supported)
Optimize your applications (AI Supported)
O*NET Supported
O*NET Supported
O*NET Supported
O*NET Supported
O*NET Supported
European Union Recommended
Institution Recommended
Institution Recommended
Researcher Recommended
IT Savvy Recommended
Trades Recommended
O*NET Supported
Artist Recommended
Researchers Recommended
Create your account
Access your account
Create your professional profile
Preview your profile
Your saved opportunities
Reviews you've given
Companies you follow
Discover employers
O*NET Supported
Common questions answered
Help for job seekers
How matching works
Customized job suggestions
Fast application process
Manage alert settings
Understanding alerts
How we match resumes
Professional branding guide
Increase your visibility
Get verified status
Learn about our AI
How ATS ranks you
AI-powered matching
Join thousands of professionals who've advanced their careers with our platform
Unlock Your Senior AI Potential: Insight & Career Growth Guide
Real-time Senior AI Jobs Trends in Vitoria-Gasteiz, Spain (Graphical Representation)
Explore profound insights with Expertini's real-time, in-depth analysis, showcased through the graph below. This graph displays the job market trends for Senior AI in Vitoria-Gasteiz, Spain using a bar chart to represent the number of jobs available and a trend line to illustrate the trend over time. Specifically, the graph shows 84987 jobs in Spain and 612 jobs in Vitoria-Gasteiz. This comprehensive analysis highlights market share and opportunities for professionals in Senior AI roles. These dynamic trends provide a better understanding of the job market landscape in these regions.
Great news! Predictable Machines is currently hiring and seeking a Senior AI Engineer to join their team. Feel free to download the job details.
Wait no longer! Are you also interested in exploring similar jobs? Search now: Senior AI Engineer Jobs Vitoria-Gasteiz.
An organization's rules and standards set how people should be treated in the office and how different situations should be handled. The work culture at Predictable Machines adheres to the cultural norms as outlined by Expertini.
The fundamental ethical values are:The average salary range for a Senior AI Engineer Jobs Spain varies, but the pay scale is rated "Standard" in Vitoria-Gasteiz. Salary levels may vary depending on your industry, experience, and skills. It's essential to research and negotiate effectively. We advise reading the full job specification before proceeding with the application to understand the salary package.
Key qualifications for Senior AI Engineer typically include Other General and a list of qualifications and expertise as mentioned in the job specification. Be sure to check the specific job listing for detailed requirements and qualifications.
To improve your chances of getting hired for Senior AI Engineer, consider enhancing your skills. Check your CV/Résumé Score with our free Resume Scoring Tool. We have an in-built Resume Scoring tool that gives you the matching score for each job based on your CV/Résumé once it is uploaded. This can help you align your CV/Résumé according to the job requirements and enhance your skills if needed.
Here are some tips to help you prepare for and ace your job interview:
Before the Interview:To prepare for your Senior AI Engineer interview at Predictable Machines, research the company, understand the job requirements, and practice common interview questions.
Highlight your leadership skills, achievements, and strategic thinking abilities. Be prepared to discuss your experience with HR, including your approach to meeting targets as a team player. Additionally, review the Predictable Machines's products or services and be prepared to discuss how you can contribute to their success.
By following these tips, you can increase your chances of making a positive impression and landing the job!
Setting up job alerts for Senior AI Engineer is easy with Vitoria Gasteiz Jobs | Expertini. Simply visit our job alerts page here, enter your preferred job title and location, and choose how often you want to receive notifications. You'll get the latest job openings sent directly to your email for FREE!
