309 Empleos en CHICLANA DE LA FRONTERA

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.

¡Únete al equipo Alten y crece con nosotros como Ingeniero/a de monturas!

En ALTEN tenemos claro que el éxito de nuestros proyectos se debe a las personas que forman nuestro equipo. Por eso, si te interesa la ingeniería de monturas en el sector naval nos comprometemos a impulsar tu talento, satisfacer tus expectativas laborales y hacerte sentir como en casa. ¿Quieres construir hoy el mundo de mañana? ¡Sigue leyendo!

¿Cuáles serían tus funciones?

• Diseño, desarrollo y seguimiento técnico de sistemas de monturas navales.
• Interacción con distintos departamentos para asegurar la integración y funcionalidad de los equipos.
• Uso de herramientas CAD y sistemas ERP para el desarrollo y control de proyectos.

¿Qué buscamos?

• Titulación en Ingeniería (preferiblemente Eléctrica o Electrónica).
• Nivel de inglés B2 (mínimo requerido).
• Manejo de SAP .
• Conocimientos de programas de diseño como SolidWorks, CATIA u otros entornos CAD .
• Capacidad de trabajo en equipo, organización y enfoque a resultados.

¿Qué podemos ofrecerte?

• Formar parte de una gran empresa competitiva y en continuo crecimiento.
• Integración en un equipo de profesionales altamente cualificado, con un buen clima laboral, innovador y dinámico.
• Formación especializada y desarrollo profesional continuo.
• Beneficios sociales y plan de compensación flexible.
• Retribución competitiva.

¿Quiénes somos?

Somos un equipo. Formamos parte de ALTEN, una multinacional europea especializada en proporcionar servicios de consultoría, tecnología de la información y servicios de ingeniería a las principales compañías del mercado español.

Si te gustan las cifras, te diremos que en España tenemos una facturación de 337 millones de euros, 9 sedes y un equipo formado por 5.240 personas.

Además, en ALTEN nos enorgullecemos de ofrecer igualdad de oportunidades con independencia de género, edad, diversidad de capacidades o país de origen. Nuestro compromiso está con el talento y con las personas que lo tienen.

Si crees que eres talento, ¡apúntate!

Empresa Líder EPC con más de 50 años de experiencia en la industria Oil&Gas y Energías Renovables Offshore busca incorporar personal para la ejecución de proyectos on site en nuestro patio de fabricación en Cádiz.

Descripción del puesto:

• Liderar y gestionar el MC para sistemas y equipos así como cumplimentar y compilar la información para el cierre de los paquetes de MC ( realización de paquetes de MC, cumplimentar check records, compilar registros de inspecciones/pruebas realizadas previamente, certificados etc.) para dejar constancia y evidenciar que la Construcción se ha completado de acuerdo a los requisitos y el diseño antes de dar paso al Commissioning .

Requisitos:

• Ingeniería.
• Buen nivel de inglés, mínimo B2.
• Buen nivel de Ofimática y conocimientos básicos de CAD/Navisworks.

Si encajas en el perfil y te gustaría formar parte de una empresa en continuo crecimiento, no dudes en contactarnos. ¡Te esperamos!

En Duagon Iberia, ofrecemos servicios de ingeniería especializados en el desarrollo y ejecución de proyectos tecnológicos en sectores de todo tipo. Con más de 1.000 profesionales y presencia global en todos los continentes, acompañamos a nuestros clientes en todas las fases del ciclo de vida del proyecto: desde la concepción y el diseño, hasta la implementación, validación y soporte. Nuestra experiencia abarca un amplio espectro de disciplinas de ingeniería e IT, lo que nos permite aportar soluciones innovadoras y adaptadas a los retos técnicos más exigentes.

Desde Duagon Iberia estamos ampliando nuestro equipo, y precisamos incorporar un Ingeniero de Maniobras para trabajar en importantes proyectos a nivel internacional del sector Oil and Gas.

Modalidad presencial en nuestras oficinas de Puerto Real.

Requisitos:

• Experiencia mínima de 2 años en funciones relacionadas con cálculos de izado, transporte y maniobras de grandes estructuras .
• Titulación universitaria en Ingeniería Industrial, Naval, Mecánica o Civil .
• Conocimientos en mecánica aplicada, cálculos estructurales y normativa de seguridad.
• Capacidad para coordinar equipos multidisciplinares y trabajar en entornos internacionales.
• Inglés avanzado.

Qué ofrecemos:

• Contrato indefinido con un paquete importante de salario flexible (tickets restaurante, cheque guardería, seguro médico…)
• Flexibilidad horaria y laboral.
• Carrera profesional con oportunidades de promoción.
• Formación continua
• Actividades de Team Building (BBQ, torneos de pádel.)

En definitiva, ofrecemos un entorno dinámico donde se te acompañará en todo omento para adquirir las competencias necesarias.

En Duagon Iberia podrás desarrollar tu carrera en función de tus aspiraciones, crecer con nosotros y participar en nuestras interesantes iniciativas de conciliación mediante la modalidad presencial de trabajo, formación continua y remuneración atractiva.

Si quieres saber más, visítanos en

En Duagon Iberia, ofrecemos servicios de ingeniería especializados en el desarrollo y ejecución de proyectos tecnológicos en sectores de todo tipo. Con más de 1.000 profesionales y presencia global en todos los continentes, acompañamos a nuestros clientes en todas las fases del ciclo de vida del proyecto: desde la concepción y el diseño, hasta la implementación, validación y soporte. Nuestra experiencia abarca un amplio espectro de disciplinas de ingeniería e IT, lo que nos permite aportar soluciones innovadoras y adaptadas a los retos técnicos más exigentes.

Desde Duagon Iberia estamos ampliando nuestro equipo, y precisamos incorporar un Ingeniero HSE para trabajar en importantes proyectos a nivel internacional del sector Oil & Gas.

Modalidad presencial en nuestras oficinas de Puerto Real.

Requisitos:

• Experiencia mínima de 2 años en funciones relacionadas con seguridad industrial, salud laboral y medioambiente en proyectos de construcción o industriales.
• Titulación universitaria en Ingeniería Mecánica o similar.
• Conocimientos en sistemas de gestión HSE, normativa de seguridad industrial, prevención de riesgos y protección medioambiental.
• Capacidad para coordinar equipos multidisciplinares y trabajar en entornos internacionales.
• Inglés nivel B2 o superior.

Qué ofrecemos:

• Contrato indefinido con un paquete importante de salario flexible (tickets restaurante, cheque guardería, seguro médico…)
• Flexibilidad horaria y laboral.
• Carrera profesional con oportunidades de promoción.
• Formación continua
• Actividades de Team Building (BBQ, torneos de pádel.)

En definitiva, ofrecemos un entorno dinámico donde se te acompañará en todo omento para adquirir las competencias necesarias.

En Duagon Iberia podrás desarrollar tu carrera en función de tus aspiraciones, crecer con nosotros y participar en nuestras interesantes iniciativas de conciliación mediante la modalidad presencial de trabajo, formación continua y remuneración atractiva.

Si quieres saber más, visítanos en

Descripción del puesto Como Médico en Semesur Assistance, formarás parte de un equipo multidisciplinar, con Enfermero y en función del tipo de servicio, con otros compañeros de la profesión. Tus tareas diarias incluirán la evaluación, diagnóstico y tratamiento de diversas condiciones de salud, así como el seguimiento de los pacientes y la colaboración con otros profesionales del sector. Este es un puesto de trabajo que puedes elegir tanto a tiempo completo, como parcial o turnos, según tu disponibilidad y se realizará de manera presencial en cualquiera de nuestras instalaciones médicas que prestamos servicios, pero siendo principalmente en las ubicadas en Cádiz.

Requisitos

• Aptitudes en la evaluación médica y diagnóstico de pacientes.
• Conocimiento y experiencia en tratamiento de urgencias y emergencias médicas.
• Capacidad para trabajar en equipo y comunicarse eficazmente con otros profesionales de la salud.
• Habilidades adicionales como la empatía, la capacidad de manejar situaciones de estrés y una mentalidad orientada al servicio al paciente serán muy valoradas.