Trabajos Tecnología de la información en San FernandoCrear alertasJornada completa

Está buscando un nuevo reto profesional?.Únase a iad España y forme parte de la red más innovadora de consultores inmobiliarios independientes.Más de 17 millones de euros de facturación.Más de 3000 emprendedores se unieron en el 2022.Con iad, puede crear su propio negocio inmobiliario y desar

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.

Tienes experiencia en consultoría tecnológica y te apasiona el sector salud? ¡NTT DATA te está buscando! En NTT DATA somos reconocidos como uno de los mejores lugares para trabajar en España por 10º año consecutivo gracias a nuestro compromiso con el desarrollo profesional y el bienestar de

GTD is a high-tech company, committed to the design, integration, and operation of complex, mission-critical applications and systems throughout the world. We perform turnkey projects, engineering services and product development for our customers, developing state-of-the-art systems in the Space, Aerospace, Energy, Scientific Facilities and Defense and Security sectors. With a end-to-end approach, we seamlessly navigate the entire service cycle, from meticulous validation and ongoing maintenance to effective obsolescence management. Here you will find more information about GTD Group: The role: GTD Defense & Security Solutions designs, develops, and integrates systems and products to secure and protect people, critical infrastructures, and territories. We create systems that support all kinds of peacekeeping and search & rescue operations, from HQ to personnel on the ground, including training and simulation tools. We are looking for a SW Development Engineer Intern to join our I&C area in GTD Defense & Security Solutions, the company of GTD Group specialized in the design and development of large, complex and/or safety-critical applications. The position will be based in Cadiz, San Fernando & Puerto de Santa Maria. Here you will find more information about us: Position activities: You will be part of a multidisciplinary team of Engineers with a clear orientation towards the integration of systems at all levels: mechanical, electrical, electronic and at the software level; mainly land border surveillance systems and naval systems, both national and export markets and during the entire life cycle of the project, from the technical specification, design, production and verification and validation. • Participate in team-based development tasks, working closely with other software engineers to implement assigned features and fixes., • Write clean, maintainable, and well-documented code following the team's coding standards and best practices., • Assist in debugging and testing software modules to ensure functionality and reliability., • Collaborate in code reviews, learning from feedback and contributing to the improvement of team code quality., • Follow agile or iterative development workflows, including daily stand-ups, sprint planning, and retrospectives. Requirements: Your profile: Student or recent graduate in Computer Engineering, Telecommunications, Mathematics, or a related field. Basic knowledge of programming languages such as C, C++ and Java. Familiarity with scripting languages such as Python and Shell. Interest in working with Linux environments. Willingness to learn and use version control systems (e.g., SVN, Git). English proficiency at B2 level or higher, both written and spoken. Nice to have: • Basic knowledge of French. What do we offer? • To participate in highly advanced technological projects all around the world., • To be part of a young dynamic company, • Flexible working hours., • Work from home' policy We are committed to equal employment opportunity regardless of race, color, ancestry, religion, sex, national origin, sexual orientation, age, citizenship, marital status, disability, etc

Master’s degree in Divinity, Counseling, Social Work, Education, or a related field, or be a retired U.

We are seeking a skilled and data-driven.In this role, you will be responsible for optimizing our website and content for search engines to increase organic visibility, traffic, and conversions.You will play a pivotal role in implementing both on-page and off-page SEO strategies and collaborate acro

Buscas empleo en clases de informática y programación? En Cádiz te esperan nuevas oportunidades este octubre.

Se busca un Ingeniero de Software Java con más de 5 años de experiencia en Java y arquitectura de microservicios para un trabajo remoto.

En Grupo AIA desarrollamos herramientas de software avanzado (basado en técnicas de optimización , simulación , y Machine Learning ) para resolver problemas del negocio de nuestros clientes.Para ello aplicamos metodologías basadas en las ciencias básicas, fundamentalmente Matemáticas y Físic

Técnico informático Grupo Pulsia, consultora tecnológica española, con más de 200 profesionales y proyectos a nivel nacional e internacional se encuentra actualmente buscando un AUXILIAR DE FABRICA de Microinformática para sus instalaciones en Sanlúcar de Barrameda con un contrato FIJO DISC

Temporing ha pasado de ser una empresa especializada en recursos humanos a ser una organización que conecta a todas las personas en un mismo entorno laboral.Desde Temporing seleccionamos un/a Técnico/a informático/a para importante empresa del sector servicios ubicada en la zona de Jerez de la fr