2 English-speaking jobs in Cádiz
Junior - AI Engineer
- Predictablemachines
- Cádiz
- April 3
Verification-Focused AI Engineer will build trustworthy AI systems by combining large language models with formal verification techniques. Responsibilities include developing verification tools, designing streaming workflows, and implementing verification systems.
AI Engineer , Cadiz / Spain
- Predictablemachines
- Cádiz
- April 3
Senior Engineer to architect and lead development of AI verification systems. Designs streaming architectures, event-driven workflows, and real-time verification pipelines using Kotlin, TypeScript, and functional programming principles. Integrates formal methods with AI workflows to create provably reliable AI systems. Builds enterprise-grade verification platforms and leads mathematical AI reliability.
- 1















































