4 English-speaking jobs in Cádiz

Senior DevOps Engineer to design, deploy, and maintain AWS-based infrastructure. Experience with Terraform, Kubernetes, CI/CD tools, and scripting with Python required.

Senior Cloud & AI Architect to design and deliver cloud-native and AI-driven systems across AWS and Azure. Experience with AI-enabled applications, rapid prototyping, and AI-assisted development tools is required.

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.

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.