Research Scientist in Generative AI and Applied Research

Role overview This Research Scientist position at NielsenIQ focuses on Generative AI and applied research, based in Barcelona. The role leads projects that apply advanced AI techniques to deliver research results with real-world impact. Work centers on designing and implementing AI solutions that help advance industry knowledge and improve NielsenIQ’s produc…

About Us: Axiomatic AI is pioneering a new generation of AI systems that leverage the scientific method's rigor. By merging deep learning with formal logic and physics-based modeling, we are developing verifiable and interpretable AI systems that enhance the capabilities of human researchers in critical scientific and engineering domains. Our Mission: 30×30 is our ambitious goal to achieve a 30-fold enhancement in the speed, accessibility, and affordability of semiconductor and photonic hardware development by the year 2030. We are on a mission to transform hardware design and simulation in these sectors, and we are assembling a team of highly driven professionals to translate groundbreaking research into commercial applications. Position Overview: As an Applied Researcher focused on Formal Methods for Physics, you will be an integral part of a dedicated team responsible for creating innovative formal verification tools for science and engineering. Your tasks will include evaluating Lean4 code for formalization, developing specialized Lean4 libraries, ensuring proof integrity, and maintaining high code quality. You will also oversee data curation, conduct benchmarking to assess performance, identify reasoning flaws, and propose effective solutions. Collaboration with our diverse cross-functional team—including Lean experts, mathematicians, physicists, AI researchers, and software engineers—will be crucial for the project's success. This role is based in Barcelona, Spain.If you are not currently located in Barcelona, we still encourage you to apply. Axiomatic is dedicated to attracting top talent globally, and we are willing to discuss relocation support for the right candidate. Your Mission: Lean4 Development: Design and maintain internal Lean4 libraries, ensuring they are scalable, maintainable, and compatible with our AI pipeline. Code Evaluation: Analyze Lean4 code for formalization and correctness against scientific standards, ensuring overall code quality. Data & Benchmarking: Curate datasets, execute benchmarks, and analyze performance outcomes to drive enhancements. Cross-Functional Collaboration: Work closely with our research team to ensure rapid and effective project progress.

Join the innovative team at Fundamental as a Senior Applied Research Engineer in Barcelona. In this pivotal role, you will leverage your extensive expertise in applied research to develop cutting-edge solutions that drive our projects forward. You will collaborate with a dynamic team of engineers and researchers, pushing the boundaries of technology to create impactful products.

About Axiomatic AI Axiomatic AI develops AI systems grounded in scientific rigor. By combining deep learning, formal logic, and physics-based modeling, the team builds interpretable and verifiable AI that supports human researchers in scientific and engineering work. Mission The company is working toward a 30× improvement in the speed, accessibility, and cost of semiconductor and photonic hardware development by 2030. The goal: transform hardware design and simulation, moving innovations from research into real-world applications. Role Overview: AI Research Scientist – Scientific Reasoning This position centers on developing reliable and trustworthy AI for scientific and engineering domains. The role involves designing verification pipelines, analyzing and curating data, benchmarking systematically, and diagnosing design issues to recommend improvements. Collaboration is key: the team includes Mathematicians, AI Engineers, Software Engineers, Lean4 developers, Physicists, and other AI scientists. What You Will Do Project Contribution and Technical Execution: Design and implement formalization and validation strategies for scientific applications. Innovation and Learning: Stay current with new research and technologies, integrating advances to strengthen product impact. Cross-Team Collaboration: Work closely with AI and development teams to integrate solutions, encourage open communication, and support technical quality. Knowledge Sharing: Share insights and best practices to support team learning and growth. Location Barcelona, Spain

Who We AreHelsing is a pioneering defense AI company dedicated to safeguarding democratic values. Our mission centers on achieving technological leadership, enabling open societies to make independent decisions and uphold their ethical standards.As advocates for democracy, we recognize our unique responsibility in the thoughtful advancement and application of powerful technologies such as AI. We take this responsibility seriously.Our ambitious team comprises engineers, AI experts, and customer-oriented program managers. We seek mission-driven individuals to join our European teams and leverage their skills to tackle the most intricate and impactful challenges. Our culture is open and transparent, encouraging healthy discussions on the role of technology in defense, its advantages, and ethical considerations.The RoleAt Helsing, we provide AI-driven capabilities and foundational technologies that empower machines to enhance human decision-making. You will have a unique opportunity to develop AI capabilities in a challenging sector where high generalization needs to meet hardware constraints and real-world resilience.As part of a team dedicated to pushing the limits of autonomous robotics through reinforcement learning, your focus will be on designing, training, and deploying RL-based controllers for robots in complex, unstructured, and dynamic real-world environments—areas where traditional control strategies fall short. This role involves enabling robots to perceive and comprehend their surroundings by integrating diverse sensory inputs, including vision, to inform robust and adaptive control strategies. You will manage the entire pipeline, from simulation to deployment, ensuring that learned policies are not only robust and efficient but also primed for real-world operations under stringent hardware limitations.

About Axiomatic AI Axiomatic AI builds AI systems that bring the rigor of the scientific method to reasoning. By combining deep learning, formal logic, and physics-based modeling, the team develops interpretable and verifiable AI tools designed to support human researchers in scientific and engineering tasks. The company's 30×30 mission targets a 30-fold increase in the speed, affordability, and accessibility of semiconductor and photonic hardware development by 2030. This vision drives efforts to reshape hardware design and simulation, moving research breakthroughs toward real-world products. Research Internship Overview This Research Internship centers on the intersection of AI, formal methods, and scientific reasoning. The role suits PhD candidates interested in advancing AI for science and engineering, especially those who want to build tools that verify scientific results. Interns will focus on research into automated verification of scientific reasoning. Projects may include developing AI agents for complex mathematical formalization, designing knowledge retrieval systems, and exploring both formal and informal verification workflows. What You Will Do Develop tools for formal reasoning, such as improved library search, theorem retrieval, and formalization assistants. Explore Lean metaprogramming or related formal methods tools for scientific applications. Create verification pipelines for complex equation derivations, connecting AI and physics. Work with researchers to define a focused project that advances internal capabilities and research understanding. Conduct scientific research suitable for publication at leading conferences (ICLR, ICML, NeurIPS) or contribute to major open source initiatives. Locations Boston, US / Toronto, Canada / Castelldefels (Barcelona), Spain

Join Eurofins, a global leader in bioanalytical testing, as a Research Manager. In this dynamic role, you will lead innovative research projects, manage a team of scientists, and drive the development of cutting-edge methodologies in our Barcelona facility. Your expertise will contribute significantly to our mission of providing high-quality services to our clients.

Join Monzo as a Lead User Researcher in vibrant Barcelona! We are looking for an innovative leader passionate about user experience and design. In this role, you will guide our research team to explore user behaviors, needs, and motivations, contributing to the development of exceptional financial products.Your expertise will help shape our research strategy, ensuring we gather valuable insights to inform product decisions. Collaborate closely with designers, product managers, and engineers to create user-centered solutions that resonate with our customers.

Join Our Team at FundamentalFundamental is at the forefront of artificial intelligence, redefining enterprise decision-making processes. With a foundation established by alumni from DeepMind, we have created NEXUS – the premier Large Tabular Model (LTM) designed specifically for structured data that influences critical business decisions. Supported by top-tier investors and trusted by Fortune 100 companies, we are unlocking unprecedented value for businesses, empowering them with predictive capabilities.At Fundamental, you will tackle unique technical challenges in developing foundational models, contributing to transformative technology that reshapes decision-making for the world’s largest enterprises. This is a chance to become part of a pioneering company and influence the future of enterprise AI.

About Axiomatic AI Axiomatic AI develops AI systems that combine deep learning, formal logic, and physics-based modeling. The goal: create verifiable, interpretable AI that supports human researchers in scientific and engineering fields. The company’s 30×30 mission targets a 30-fold increase in the speed, accessibility, and affordability of semiconductor and photonic hardware development by 2030. With teams in Boston, Toronto, and Castelldefels (Barcelona), Axiomatic AI is working to transform hardware design and simulation, moving ideas from research to commercial products. Research Internship Overview This internship centers on formal methods, artificial intelligence, and scientific reasoning. It’s especially suited for PhD candidates interested in advancing AI’s role in science and engineering, and in building tools to validate scientific results. The work focuses on automated verification of scientific reasoning, contributing to the design of AI agents that handle complex mathematical formalization, knowledge retrieval, and both formal and informal verification methods. What You Will Do Develop tools for formal reasoning, such as improved library search, theorem retrieval, and formalization assistants. Explore Lean metaprogramming or similar formal methods tools for research applications. Design verification pipelines for complex equation derivations, helping connect AI systems with physics. Work closely with researchers to define a focused project that advances Axiomatic AI’s capabilities and contributes to scientific understanding. Carry out research with the potential for publication at venues like ICLR, ICML, or NeurIPS, or contribute to major open-source projects. Locations Boston, US Toronto, Canada Castelldefels (Barcelona), Spain

About Axiomatic AI Axiomatic AI builds AI systems grounded in the scientific method. By combining deep learning, formal logic, and physics-based modeling, the team creates verifiable and interpretable tools that support researchers in scientific and engineering fields. The company’s 30×30 mission targets a 30-fold improvement in the speed, accessibility, and affordability of semiconductor and photonic hardware development by 2030. With a focus on transforming hardware design and simulation, Axiomatic AI brings together professionals who move research from the lab into real-world solutions. Research Internship: Uncertainty Quantification & Robust Design Locations: Boston, US / Toronto, Canada / Castelldefels (Barcelona), Spain Role Overview This internship centers on exploratory research in uncertainty quantification (UQ), experimental design, robust design strategies, and surrogate modeling. The specific project will reflect the intern’s background and strengths, always with the goal of advancing the methods that underpin scientific and engineering work. Candidates with a strong technical grounding in probabilistic machine learning, Bayesian computation, and applied mathematical modeling will find this role especially relevant. Depending on interests and expertise, there may also be a chance to work in specialized topics such as neuromorphic computing in photonics. Key Responsibilities Advance and extend uncertainty quantification methods through research Contribute to developing experimental and robust design techniques for scientific and engineering applications Develop or evaluate surrogate modeling strategies for complex systems Work with researchers to shape focused projects that deliver clear research and learning outcomes

About Us: Axiomatic AI is pioneering a groundbreaking suite of AI systems that leverage the scientific method's rigor. By fusing deep learning with formal logic and physics-based modeling, we engineer verifiable and interpretable AI solutions that empower human researchers in high-stakes scientific and engineering endeavors. Our Mission: We aim for a transformative 30× enhancement in the speed, accessibility, and cost of semiconductor and photonic hardware development by 2030. Our vision is to revolutionize hardware design and simulation within these sectors, and we are assembling a team of passionate professionals to transition these innovations from research into market-ready products. Position Overview: In the role of Applied AI Engineer, you will serve as a pivotal link between the R&D team and product development, transforming research prototypes into robust, production-ready AI capabilities. Your responsibilities will span the entire stack, integrating LLM- and agent-based systems into real-world workflows, ensuring their reliability, reproducibility, and maintainability in production settings. This position demands strong engineering expertise to implement, test, deploy, and maintain AI-driven features in production, collaborating closely with researchers and software engineers to navigate real-world challenges such as quality, latency, cost, privacy, and reliability. A solid understanding of contemporary AI models, including LLMs and agentic architectures, is essential for making informed technical decisions and anticipating potential failure modes. This position is located in Barcelona, Spain. If you are not based in Barcelona, we still encourage you to apply. Axiomatic AI is dedicated to attracting top talent globally, and we are open to discussing relocation support. Your Mission: Applied AI Product Development: Collaborate with the team to design, build, and ship applied AI features, contributing from initial design to production rollout and subsequent enhancements. Requirements & Delivery: Transform user feedback and research prototypes into clear technical requirements and actionable delivery plans. LLM & Agent Workflows: Develop LLM-driven workflows, including tool-calling agents, structured output pipelines, retrieval/tool integrations, and safe prompting strategies. Production Engineering: Produce high-quality, production-grade code with clear abstractions, stable interfaces, and robust error handling.

Degustabox connects food and beverage brands with consumers across France, Germany, the UK, Italy, and Spain. From its base in Barcelona, the team runs in-home sampling, market research, and social media campaigns to help brands reach new audiences. The company values collaboration, transparency, and practical problem-solving, encouraging initiative and a proactive mindset. Role overview This Market Research Internship focuses on the French food and beverage market. The intern will work closely with data and analytics, supporting brands as they refine products and campaigns. Collaboration spans both established and emerging brands, within a team that values enthusiasm and dedication. Main responsibilities Contribute to a variety of market research projects to support customer and brand satisfaction. Independently conduct market research for local and international brands. Tasks include designing studies using quantitative and qualitative methods, advising on survey questions, analyzing results with Business Intelligence tools, and preparing presentations for brand partners. Analyze trends and provide insights for the company newsletter. Assist the Campaign Manager with operational and logistical tasks as needed. Location This internship takes place in Barcelona, Catalunya, Spain.

Join Jacobs Douwe Egberts (JDE) as a Consumer Insights & Market Research Trainee in vibrant Barcelona! We are seeking a motivated individual eager to gain hands-on experience in market research and consumer insights. This role will involve collaborating with our marketing team to gather and analyze consumer data, helping us to understand market trends and consumer behavior effectively.

SGS is seeking an Environmental Technician in Barcelona to focus on contaminated soil investigation and waste research. This position centers on fieldwork, sample collection, and data analysis to assess contamination and support remediation planning. Role overview This role involves hands-on work in the field, gathering soil and waste samples, and performing assessments to determine contamination levels. The Environmental Technician will analyze findings and contribute to recommendations for cleanup and management. Collaboration Work closely with the Inspection and Field Testing department, joining a team of specialists dedicated to projects that support environmental sustainability and public health. Collaboration with experienced colleagues is a key part of daily activities. Key responsibilities Conduct field assessments of contaminated sites Collect and document soil and waste samples Analyze data to identify contamination levels Assist in developing remediation strategies

About Axiomatic AI Axiomatic AI develops AI systems that combine deep learning, formal logic, and physics-based modeling. The goal: create AI that is verifiable, interpretable, and genuinely useful for scientific and engineering work. The company’s 30×30 mission targets a 30-fold improvement in the speed, accessibility, and cost of semiconductor and photonic hardware development by 2030. Teams at Axiomatic AI focus on transforming hardware design and simulation, aiming to turn research breakthroughs into commercial products. Offices are located in Boston, Toronto, and Castelldefels (Barcelona). Research Internship: Role Overview This internship focuses on exploratory research within agentic learning, memory, and neurosymbolic reasoning. The position is part of KAMAS (Knowledge, Agents, Memory and Systems), a team working on knowledge-driven, verifiable agentic AI systems. The main objectives: identify promising research directions and produce impactful results, with the possibility of publication. Research topics may include: Studying teacher and student interaction in long-term learning, where the student evolves through ongoing engagement with a teacher. Investigating how external and parametric memory interact, especially ways to enable effective two-way information flow. Applying neurosymbolic techniques for validation and verification (V&V) in agentic reasoning systems. These areas are starting points; additional research directions may develop based on intern background, interests, and project needs. What You Will Do Conduct exploratory research in line with KAMAS objectives in agentic AI and learning systems. Design, implement, and run experiments to evaluate research ideas. Document findings for internal use and presentations, with the potential for external publication.

At Datavant, we are reshaping the future of healthcare through our innovative data platform, recognized as the global leader in health data exchange. Our mission is to empower every healthcare decision with the most relevant data, delivered at the optimal time and in a user-friendly format.Our platform is fueled by the largest and most diverse health data network in the United States, ensuring that information is not only secure but also accessible and actionable to enhance health outcomes. Trusted by leading life sciences companies and government agencies, Datavant is at the forefront of healthcare innovation.Joining Datavant means becoming part of a high-performing, values-oriented team committed to addressing some of healthcare’s most intricate challenges through advanced technology solutions. Our team members bring diverse professional and personal backgrounds, united by a shared vision for transforming healthcare.We are on the lookout for a detail-oriented and passionate Data Scientist (Privacy) to become a key member of our expanding team. This role involves analyzing client information to assess re-identification risks to patients.As a member of the Privacy Science team within our Privacy Solutions division, you will play a pivotal role in safeguarding patient privacy in today’s data-sharing landscape. Your work will involve analyzing real datasets and conducting cutting-edge research to maintain our industry-leading status, alongside engaging discussions on re-identification risks. You will receive support to enhance your data analysis and coding skills, allowing you to excel in analyzing large health-related datasets.

Join our dynamic team at Jobs for Humanity as a Generative AI Solution Architect. In this pivotal role, you will leverage AI technologies to devise innovative solutions, enhance user experiences, and drive business success. You will collaborate with cross-functional teams, translating complex AI concepts into actionable strategies, ensuring that our solutions meet the diverse needs of our clients.

Cint is looking for a Senior Data Scientist in Barcelona with a focus on artificial intelligence and synthetic intelligence. This position centers on building advanced models and algorithms to strengthen data analytics and support market research innovation. Role overview This role involves applying deep expertise in AI and synthetic intelligence to develop solutions that improve how data is analyzed and interpreted. The work directly supports Cint’s goal of advancing the field of market research through technology. What you will do Design and implement sophisticated models and algorithms for data analytics Work with large datasets to extract insights and improve research outcomes Contribute to projects that shape the future of market research at Cint Requirements Strong background in artificial intelligence and synthetic intelligence Experience developing advanced data models and algorithms Ability to work onsite in Barcelona

Join Prosper AI as an AI StrategistLocation: Barcelona (On-site)Type: Full-timeAbout Prosper AIAt Prosper AI, we are revolutionizing healthcare through our innovative AI Phone Agents that provide human-like expertise while drastically cutting costs. Our AI agents streamline administrative tasks such as patient scheduling, claims status checks, and benefit verifications, aiming to eliminate $200 billion in administrative waste, thus allowing healthcare professionals to concentrate more on patient care.About the RoleAs an AI Strategist, you will be pivotal in deploying and optimizing our AI agents across some of the most intricate healthcare organizations globally. You will lead strategic initiatives from configuration to full-scale production, ensuring measurable impacts for our clients. Your insights will help refine our external deployments and internal best practices.Key ResponsibilitiesOversee the complete deployment of AI agents on Prosper AI’s platform for U.S. healthcare clients, including hospitals and clinics.Collaborate with clients and internal teams to map out administrative workflows and pinpoint areas ripe for AI-driven automation.Evaluate deployment performance data to identify challenges and promote continuous improvement.Create and enhance internal playbooks and frameworks to expedite future deployments.Transform complex operational challenges into actionable strategies that connect technology with healthcare operations.Who You AreHolds a Bachelor’s degree or higher in Computer Science, Engineering, Business, Economics, or a related field.Possesses strong analytical skills with the ability to dissect complex processes for AI impact.Demonstrates a passion for the convergence of AI, healthcare, and operations.Thrives in a dynamic startup environment with evolving priorities and significant ownership.Bonus: Familiarity with healthcare workflows, LLMs, automation tools, or enterprise software deployments is a plus.