62 Ofertas de Procter & Gamble en España

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.

We are hiring! Are you passionate about microprocessor architecture? We need you!

As a Senior Verification Engineer , you will work within the Verification Team and play a crucial role in ensuring the correctness and functionality of complex digital designs at the Register

Overview

At Alstom, we understand transport networks and what moves people. From high-speed trains, metros, monorails, and trams, to turnkey systems, services, infrastructure, signalling and digital mobility, we offer our diverse customers the broadest portfolio in the industry. Every day, 80,000 colleagues lead the way to greener and smarter mobility worldwide, connecting cities as we reduce carbon and replace cars.

Could you be the full-time Product Design Engineer in Getafe, Madrid we’re looking for?

Take on a new challenge and apply your product development expertise in a new cutting-edge field. You’ll work alongside young and proactive teammates.

• You’ll develop original equipment components in railway mechanical brake equipment. Day-to-day, you’ll work closely with teams across the business (Purchaise, external clients), create the overhaul of kits for reparation equipment and much more.
• You’ll specifically take care of the analysis and traceability of customer requirements but also elaborate document process milestones and ensure desing for quality principles.

• Analysis and traceability of customer requirements.
• Creation of overhauling kits for reparation equipment.
• Development of pneumatic testbench under CAD environment.
• Develop of original equipment components.
• Select materials : raw materials, standard components, supplier catalog component.
• Document process milestones and ensure desing for quality principles.
• Supports other departments : commercial, project management, production and sourcing.
• Participates on change and configuration board.

We value passion and attitude over experience. That’s why we don’t expect you to have every single skill. Instead, we’ve listed some that we think will help you succeed and grow in this role :

• Degree in Engineering
• At least 2 years in similar positions
• CAD experience : Inventor & Autocad
• Pneuma equipment knowledge
• English level : B2

• Join us on a life-long transformative journey – the rail industry is here to stay, so you can grow and develop new skills and experiences throughout your career. You’ll also :
• Enjoy stability, challenges and a long-term career free from boring daily routines
• Collaborate with transverse teams and helpful colleagues
• Contribute to innovative projects
• Steer your career in whatever direction you choose across functions and countries
• Benefit from our investment in your development, through award-winning learning
• Benefit from a fair and dynamic reward package that recognises your performance and potential, plus comprehensive and competitive social coverage (life, medical, pension)

You don’t need to be a train enthusiast to thrive with us. We guarantee that when you step onto one of our trains with your friends or family, you’ll be proud. If you’re up for the challenge, we’d love to hear from you!

As a global business, we’re an equal-opportunity employer that celebrates diversity across the 70+ countries we operate in. We’re committed to creating an inclusive workplace for everyone.

Job Segment : Product Development, Project Manager, Research, Technology

We are seeking an exceptional Product Development Analyst to join our growing Digital Team at viaPhoton .

About the job

Are you passionate about turning ideas into reality, embracing ownership, and working at the forefront of connectivity? Join viaPhoton and be part of a culture that thrives on fearless innovation, teamwork, and continuous growth, where learning, unlearning, and relearning are part of the journey.

This dynamic role offers significant ownership and responsibility. We’re looking for individuals who excel in environments where their contributions make an impact, are hungry to learn, and are energized by meaningful work that drives company growth while accelerating their career.

Who We Are

We are changing the norm by being customer focused, technology led. viaPhoton is on an ambitious mission to revolutionize how critical digital infrastructure is manufactured and deployed. Best-in-class data centers and telecom providers need fiber optic solutions delivered in weeks, not months—whether that’s for AI infrastructure, 5G networks, or next-generation broadband.

We seek candidates who will be culture contributors and who align with our core values:

• Fearless Innovation we are pioneers unafraid to change the norm in relentless pursuit of better
• Forward Together we believe that when we work together toward a collective goal, we all succeed
• Integrity Over Everything we believe in long term relationships and doing what is right, always
• Nimble, Always we are solutions obsessed, move fast, and stay nimble
• Be the Bar we set our own standard of excellence and hold ourselves to it

What You Will Do

We are seeking a Product Development Analyst to join our team. This person will be responsible for supporting the creation, enhancement, and optimization of products by analyzing market trends, customer needs, and internal data.

Key Responsibilities

• Customer Research: Conduct research to understand consumer needs, preferences, and pain points through surveys, interviews, and data analytics.
• Data Analysis: Collect, process, and interpret various data sources, including user behavior metrics, sales data, customer feedback, and A/B testing results, to identify patterns, trends, and areas for improvement.
• Product Performance Monitoring: Track and analyze product performance over its lifecycle, setting and evaluating key performance indicators (KPIs) to assess the product's success and market fit.
• Strategy & Recommendations: Develop data-driven recommendations and strategies for product improvements, new features, launch plans, and monetization, helping to inform product direction and investment decisions.
• Collaboration & Communication: Work closely with product managers, engineers, designers, and marketing teams to provide insights and align on product strategies.
• Reporting & Presentations: Create reports, presentations, and dashboards to communicate findings, insights, and product performance to stakeholders and decision-makers.
• Product Roadmap Support: Contribute to the development and maintenance of product roadmaps, ensuring alignment with the product's vision and trajectory.

What You Will Bring

• Product analysis background: 3 to 4 years' experience as a product analyst, business analyst, product owner or product manager.
• Analytical Skills: The ability to interpret complex data, identify patterns, and draw actionable insights.
• Data Literacy: Strong understanding of data analysis, including tools and techniques for collecting, processing, and visualizing data.
• Requirements collection and understanding: Deep understanding of the business needs and goals and transform them into tangible action items.
• Communication to engineers: Excellent verbal and written communication skills to effectively present findings and collaborate with various teams.
• Problem-Solving: Ability to identify issues, propose creative solutions, and drive projects forward.
• Technical Skills: SQL for data querying and analysis - At least one data visualization tool (Tableau, Looker, Power BI, or similar).
• Product analytics platforms (Amplitude, Mixpanel, or similar).
• Excel/Google Sheets for quick analysis and modeling.
• Basic Python or R for data analysis (preferred but not required).
• Experience with A/B testing tools and statistical analysis (preferred but not required).
• Familiarity with Atlassian suite (Jira, Confluence) given our existing toolset.
• Collaboration & Teamwork: Strong ability to work effectively with cross-functional teams and build relationships across the organization.
• Come with intellect and drive, we’ll teach you the rest.
• The ability to learn quickly and continuously and maintain a flexible and adaptive mindset necessary for a fast-paced environment.
• A proactive, self-driven mindset where your growth is dependent on you.
• Creative problem solving;
  
  if you don't knowthe answer, you’ll know how to find a way to it.
• Multi-tasking with the ability to handle multiple inquiries at once and prioritize them accordingly.

Why Join Us

Cutting-Edge Technology – Opportunities to work on the forefront of fiber optic technology.

Market-Leading Compensation – With performance-based bonuses and equity opportunities - we invest in those who invest in us.

Professional Development – We’re committed to your growth, offering resources, career development, and a culture where your voice is heard.

Fun Team Environment – Team bonding events, free lunches, and activities to keep us connected.

Flexible Benefit Package– Manage your benefits through an easy-to-use Cobee account. Monthly company contribution to your Cobee account to be used for meals, transport, and more. 50% off in Gym and free parking.

Hybrid Work Model – At least 3 days in office, with a prime location next to the stunning Playa de Barceloneta.

viaPhoton is an equal opportunities employer and welcomes applications from diverse candidates.

We are hiring! Are you passionate about microprocessor architecture? We need you!

As a Senior Verification Engineer , you will work within the Verification Team and play a crucial role in ensuring the correctness and functionality of complex digital designs at the Register

We are seeking an exceptional Product Development Analyst to join our growing Digital Team at viaPhoton .

About the job

Are you passionate about turning ideas into reality, embracing ownership, and working at the forefront of connectivity? Join viaPhoton and be part of a culture that thrives on fearless innovation, teamwork, and continuous growth, where learning, unlearning, and relearning are part of the journey.

This dynamic role offers significant ownership and responsibility. We’re looking for individuals who excel in environments where their contributions make an impact, are hungry to learn, and are energized by meaningful work that drives company growth while accelerating their career.

Who We Are

We are changing the norm by being customer focused, technology led. viaPhoton is on an ambitious mission to revolutionize how critical digital infrastructure is manufactured and deployed. Best-in-class data centers and telecom providers need fiber optic solutions delivered in weeks, not months—whether that’s for AI infrastructure, 5G networks, or next-generation broadband.

We seek candidates who will be culture contributors and who align with our core values:

• Fearless Innovation we are pioneers unafraid to change the norm in relentless pursuit of better
• Forward Together we believe that when we work together toward a collective goal, we all succeed
• Integrity Over Everything we believe in long term relationships and doing what is right, always
• Nimble, Always we are solutions obsessed, move fast, and stay nimble
• Be the Bar we set our own standard of excellence and hold ourselves to it

What You Will Do

We are seeking a Product Development Analyst to join our team. This person will be responsible for supporting the creation, enhancement, and optimization of products by analyzing market trends, customer needs, and internal data.

Key Responsibilities

• Customer Research: Conduct research to understand consumer needs, preferences, and pain points through surveys, interviews, and data analytics.
• Data Analysis: Collect, process, and interpret various data sources, including user behavior metrics, sales data, customer feedback, and A/B testing results, to identify patterns, trends, and areas for improvement.
• Product Performance Monitoring: Track and analyze product performance over its lifecycle, setting and evaluating key performance indicators (KPIs) to assess the product's success and market fit.
• Strategy & Recommendations: Develop data-driven recommendations and strategies for product improvements, new features, launch plans, and monetization, helping to inform product direction and investment decisions.
• Collaboration & Communication: Work closely with product managers, engineers, designers, and marketing teams to provide insights and align on product strategies.
• Reporting & Presentations: Create reports, presentations, and dashboards to communicate findings, insights, and product performance to stakeholders and decision-makers.
• Product Roadmap Support: Contribute to the development and maintenance of product roadmaps, ensuring alignment with the product's vision and trajectory.

What You Will Bring

• Product analysis background: 3 to 4 years' experience as a product analyst, business analyst, product owner or product manager.
• Analytical Skills: The ability to interpret complex data, identify patterns, and draw actionable insights.
• Data Literacy: Strong understanding of data analysis, including tools and techniques for collecting, processing, and visualizing data.
• Requirements collection and understanding: Deep understanding of the business needs and goals and transform them into tangible action items.
• Communication to engineers: Excellent verbal and written communication skills to effectively present findings and collaborate with various teams.
• Problem-Solving: Ability to identify issues, propose creative solutions, and drive projects forward.
• Technical Skills: SQL for data querying and analysis - At least one data visualization tool (Tableau, Looker, Power BI, or similar).
• Product analytics platforms (Amplitude, Mixpanel, or similar).
• Excel/Google Sheets for quick analysis and modeling.
• Basic Python or R for data analysis (preferred but not required).
• Experience with A/B testing tools and statistical analysis (preferred but not required).
• Familiarity with Atlassian suite (Jira, Confluence) given our existing toolset.
• Collaboration & Teamwork: Strong ability to work effectively with cross-functional teams and build relationships across the organization.
• Come with intellect and drive, we’ll teach you the rest.
• The ability to learn quickly and continuously and maintain a flexible and adaptive mindset necessary for a fast-paced environment.
• A proactive, self-driven mindset where your growth is dependent on you.
• Creative problem solving;
  
  if you don't knowthe answer, you’ll know how to find a way to it.
• Multi-tasking with the ability to handle multiple inquiries at once and prioritize them accordingly.

Why Join Us

Cutting-Edge Technology – Opportunities to work on the forefront of fiber optic technology.

Market-Leading Compensation – With performance-based bonuses and equity opportunities - we invest in those who invest in us.

Professional Development – We’re committed to your growth, offering resources, career development, and a culture where your voice is heard.

Fun Team Environment – Team bonding events, free lunches, and activities to keep us connected.

Flexible Benefit Package– Manage your benefits through an easy-to-use Cobee account. Monthly company contribution to your Cobee account to be used for meals, transport, and more. 50% off in Gym and free parking.

Hybrid Work Model – At least 3 days in office, with a prime location next to the stunning Playa de Barceloneta.

viaPhoton is an equal opportunities employer and welcomes applications from diverse candidates.

Are you interested in working on exciting challenges within high transaction environments? We are looking for you who are curious, can take initiative and come up with new creative solutions, and care about ultimately delivering a great product.

Our Player Rewards & Gamification (PRG) team in Malaga is growing, and we are now looking for a Fullstack Software Engineer with strong frontend skills to join us! PRG at Betsson Group ensures our customers come back for more. It’s all about loyalty. We provide a world class customer experience beyond the game play featuring Tournaments, Dynamic personalized campaigns and much more!

You will play a key role in shaping how our users interact with these features, bringing intuitive, fast, and scalable interfaces to life. On the backend, you’ll collaborate with the team to ensure our systems are robust and ready for scale as we move further into containerized and cloud-native solutions.

• Design and build engaging frontend applications using Angular and TypeScript, with strong focus on performance, scalability, and great UX.
• Work with modern frontend practices such as event-driven communication, component-based design (e.G. Stencil, Angular component architecture), and real-time features using WebSockets.
• Pay close attention to site speed and responsiveness, ensuring our applications perform seamlessly even under high load.
• Contribute to end-to-end development: from frontend interfaces to backend APIs, using .NET when needed.
• Collaborate in an agile environment with developers, product owners, and designers to deliver business value continuously.
• Leverage AI-assisted tooling and modern development workflows to increase productivity.

• Strong proficiency in Angular and TypeScript (or similar modern frontend frameworks)
• Deep understanding of frontend architecture, state management, and performance optimization.
• Experience with frontend testing frameworks such as Playwright or Cypress.
• Solid understanding of building and consuming Web APIs.
• Comfortable working in agile teams with close collaboration.
• Hands-on experience with backend technologies such as .NET (modern versions), Kafka, or RabbitMQ.
• Familiarity with Docker, Kubernetes, and AWS.
• Experience with relational and NoSQL databases (PostgreSQL, MSSQL, Couchbase).
• Knowledge of search technologies like OpenSearch or Elasticsearch.
• Ability to design solutions that span the full stack, from UI to data layer.

We can offer you an environment full of ambition and passion. One day is never like the other as the only constant is change, to the better, to the greater. We strive to be the best in whatever field we choose to play on, and we make sure to have fun along the way!

• A friendly, open and humble working environment, where you will have the chance to work alongside with colleagues from all over the world
• A chance to evolve your skills together with your colleagues with various programs and initiatives
• Personal development through courses, in-house training and external certification
• Freedom with responsibility

If you are interested to learn more, please apply with your CV.

Check out the Betsson Group Blog to find out what our employees are talking about

By submitting your application, you understand that your personal data will be processed as set out in our Privacy Policy

Please fill out the following form. After you have completed your application an email will be sent to you with relevant information.

First Name *

Last Name *

Email *

Phone *

Resume/CV * Select File

Cover Letter Select File

Easy Apply via LinkedIn

LinkedIn Profile

Website

Are you currently based in Málaga, or will be, to perform this job? * Yes No

Would you require a work permit now or in the future to perform this job? * Yes No

We are looking for: Product Development Senior Scientist

About us:

Animalcare is a sustainable and passionate organisation committed to leading in animal health through innovative and trusted products and services to support the veterinary profession. We care about the well-being of animals and the positive impact that healthy animals have on their owners and society.

We have direct commercial presence in seven European countries, with product sales in 40 markets. Animalcare is a partner for companies selling into and across Europe.

About the Role

We are seeking an experienced and motivated Product Development Senior Scientist to take technical ownership of assigned projects within our veterinary medicines, hygiene, and feed product portfolio. You will play a key role in the development, maintenance, and lifecycle management of products, ensuring high quality, regulatory compliance, and timely delivery.

Key Responsibilities

• Lead the technical execution of assigned projects, ensuring alignment with agreed timelines, budgets, and quality standards.
• Collaborate closely with internal teams (Project Management, Regulatory, Clinical, and Quality) as well as external CDMOs and CMOs to ensure all quality and technical requirements are met.
• Review and approve technical documentation, including development and scale-up reports, specifications, analytical methods, validations, and process documentation.
• Manage product lifecycle activities, including manufacturing site transfers and process improvements.
• Provide technical support for quality events, deviations, and investigations.
• Maintain an overview of project progress and proactively address potential risks or delays.
• Track and report project-related expenditures.
• Stay up to date with relevant regulations, best practices, and developments in the pharmaceutical manufacturing field.
• Perform additional tasks as assigned by the Line Manager or Management Team.

About You

• Degree or PhD in Pharmacy, Chemistry, Biology, or a related field.
• Minimum of 5 years’ experience in pharmaceutical development, validation, or R&D (veterinary or human medicines).
• Strong technical and analytical skills, with proven experience managing complex projects in an industrial setting.
• Ability to adapt to changing priorities and work effectively in multidisciplinary teams.
• Excellent communication skills, both written and verbal, with high attention to detail and a commitment to quality.
• Proficiency in English (C1 level) is essential. (Knowledge of Spanish is an advantage)

Why Join Animalcare?

At Animalcare, our core values—integrity, ownership, one team, passion, and fun—are central to everything we do. Join a team dedicated to making a meaningful difference in the lives of animals and those who care for them.

How to Apply: Interested candidates are encouraged to apply via LinkedIn or contact Maartje Kuijper by mail: Please send your CV & motivation letter in English.

Join us and lead the way in advancing animal health!

Please note : Due to the high volume of applications we may receive, we might not be able to respond to each one. We appreciate your understanding and thank you for your interest.

Animalcare Group is an equal opportunity employer. We celebrate diversity and are committed to creating an inclusive environment for all employees