PhD Positions in AI Verification

2 months ago


Edinburgh, Edinburgh, United Kingdom European Association for Programming Languages and Systems (EAPLS) Full time
PhD Opportunities in AI Verification

We are pleased to announce the launch of a new PhD training program in collaboration with Heriot-Watt and Edinburgh Universities. The program focuses on "Dependable and Deployable AI for Robotics" and welcomes applications from candidates interested in verification of AI.

Candidates with a strong background in verification and programming languages for AI are encouraged to apply. The program aims to train students in the latest methods in AI, verification, design, and robotics, along with practical skills to ensure that robotic systems can be safely developed and deployed.

The PhD training program combines state-of-the-art robotics, machine learning, optimisation, and software engineering with verification and testing. This training program will be conducted within the context of emerging legal standards and regulations, sustainability, ethics, Responsible Research and Innovation (RRI), and Equality, Diversity, and Inclusion (EDI).

PhD students will specialise in topics related to the four research themes of the program, gaining a deep understanding of technical aspects and theoretical foundations:

  1. Trustworthy and Rigorous AI for Robotics
  2. Robust Robot Design
  3. Dependable AI for Human-Robot Interaction (HRI)
  4. AI for Deployable Robot Systems and Field Systems

The program is designed to create a new generation of graduates working on dependable and deployable AI for robotics. We welcome applications from candidates who are passionate about AI verification and robotics.



  • Edinburgh, Edinburgh, United Kingdom European Association for Programming Languages and Systems (EAPLS) Full time

    PhD Opportunities in AI VerificationWe are pleased to announce a new PhD training program in collaboration with Heriot-Watt University and the University of Edinburgh. This program focuses on the verification of artificial intelligence for robotics, with a strong emphasis on dependability and deployability.The UKRI AI Centre for Doctoral Training in...


  • Edinburgh, Edinburgh, United Kingdom European Association for Programming Languages and Systems (EAPLS) Full time

    PhD Positions in AI Verification and SafetyWe are seeking highly motivated PhD students to join our research team in the area of AI verification and safety. Our goal is to develop novel methods and techniques for ensuring the reliability and trustworthiness of AI systems.Candidates with a strong background in computer science, mathematics, or a related field...


  • Edinburgh, Edinburgh, United Kingdom European Association for Programming Languages and Systems (EAPLS) Full time

    The European Association for Programming Languages and Systems (EAPLS) invites applications for research positions in advanced AI verification for robotics. Our PhD training program focuses on dependable and deployable AI for robotics, covering topics like trustworthy AI, robust robot design, and human-robot interaction. Successful candidates will contribute...


  • Edinburgh, Edinburgh, United Kingdom AI Square Corp Full time

    Position @ AI Square CorpPhD Student, In-Memory Computing Architectures for AIThe project aims to explore the potential benefits of In-Memory Computing (IMC) in addressing the performance bottlenecks of AI hardware. By leveraging digital IMC, we aim to bridge the Von-Neumann performance gap for AI applications with massive data workloads. The project focuses...


  • Edinburgh, Edinburgh, United Kingdom AI Square Corp Full time

    Position @ AI Square CorpPhD Student, In-Memory Computing Architectures for AIThe project aims to explore the potential benefits of In-Memory Computing (IMC) in addressing the performance bottlenecks of AI hardware. By leveraging digital IMC, we aim to bridge the Von-Neumann performance gap for AI applications with massive data workloads. The project focuses...


  • Edinburgh, Edinburgh, United Kingdom AI Square Corp Full time

    Position at AI Square CorpWe are seeking a highly skilled PhD Student to join our team at AI Square Corp, focusing on Software Modelling and Optimization for AI Computing Architectures.The project aims to explore the potential benefits of employing software optimization techniques for modelling and training Large Language Models (LLMs), with a specific focus...


  • Edinburgh, Edinburgh, United Kingdom AI Square Corp Full time

    Position @ AI Square CorpThe goal of this project is to explore the potential benefits of employing software optimization techniques for modelling and training Large Language Models (LLMs), with a focus on Transformers, targeting various unconventional hardware architectures and computing domains (Binary, Analog, Bitstream).Key Responsibilities:Develop...


  • Edinburgh, Edinburgh, United Kingdom AI Square Corp Full time

    Position @ AI Square CorpThe goal of this project is to explore the potential benefits of employing software optimization techniques for modelling and training Large Language Models (LLMs), with a focus on Transformers, targeting various unconventional hardware architectures and computing domains (Binary, Analog, Bitstream).Key Responsibilities:Develop...

  • AI Model Trainer

    4 weeks ago


    Edinburgh, Edinburgh, United Kingdom DataAnnotation Full time

    We are seeking an advanced physicist to join our team at DataAnnotation to train AI models. As an AI Model Trainer, you will be responsible for measuring the progress of these AI chatbots, evaluating their logic, and solving problems to improve the quality of each model.In this role, you will need to hold an expert understanding of physics, with a completed...

  • AI Model Trainer

    1 month ago


    Edinburgh, Edinburgh, United Kingdom DataAnnotation Full time

    AI Model TrainerWe are seeking an advanced physicist to join our team at DataAnnotation to train AI models. As an AI Model Trainer, you will be responsible for evaluating the progress of these AI chatbots, assessing their logic, and solving complex physics problems to improve the quality of each model.Responsibilities:Evaluate the quality produced by AI...

  • AI Model Trainer

    1 month ago


    Edinburgh, Edinburgh, United Kingdom DataAnnotation Full time

    AI Model TrainerWe are seeking an advanced physicist to join our team at DataAnnotation to train AI models. As an AI Model Trainer, you will be responsible for evaluating the progress of these AI chatbots, assessing their logic, and solving complex physics problems to improve the quality of each model.Responsibilities:Evaluate the quality produced by AI...


  • Edinburgh, Edinburgh, United Kingdom AI Square Corp Full time

    Position @ AI Square CorpThe project aims to explore the potential of In-Memory Computing (IMC) to address AI hardware bottlenecks. IMC is proposed to bridge the Von-Neumann performance gap for AI applications with massive data workloads. The project targets exploring unconventional computing domains, such as Stochastic and Quasi-Stochastic, for IMC.Previous...


  • Edinburgh, Edinburgh, United Kingdom AI Square Corp Full time

    Position @ AI Square CorpThe project focuses on exploring the benefits of software optimization techniques for modelling and training Large Language Models (LLMs), with a specific emphasis on Transformers, targeting various unconventional hardware architectures and computing domains. The goal is to develop Python-based libraries for training and inference...

  • AI Model Trainer

    4 weeks ago


    Edinburgh, Edinburgh, United Kingdom DataAnnotation Full time

    AI Model TrainerWe are seeking a highly skilled mathematician to join our team as an AI Model Trainer. As a key member of our team, you will be responsible for training and evaluating AI chatbots to ensure they meet the highest standards of quality and performance.Key Responsibilities:Evaluate the quality of AI models for correctness and performanceDevelop...


  • Edinburgh, Edinburgh, United Kingdom Amazon Full time

    Job Title: PhD Research ScientistAmazon's Advertising Trust team is seeking a talented PhD Research Scientist to join our team in Bangalore. As an Applied Scientist III, you will be responsible for building and developing ML models to address content understanding problems in Ads. These models will rely on a variety of visual and textual features requiring...

  • AI Researcher

    3 weeks ago


    Edinburgh, Edinburgh, United Kingdom Edinburgh Napier University Full time

    The Computer Science group at Edinburgh Napier University is seeking a highly skilled Research Fellow to join their cutting-edge project developing AI-driven solutions for the aviation industry.The successful candidate will investigate and develop adaptive real-time AI models for MRO use cases, focusing on areas such as demand forecasting, resource...


  • Edinburgh, Edinburgh, United Kingdom DataAnnotation Full time

    About the RoleWe are seeking an advanced physicist to join our team at DataAnnotation to develop and train AI models. You will be responsible for providing diverse and complex physics problems to AI chatbots and evaluating their outputs.ResponsibilitiesEvaluate the quality of AI models for correctness and performanceProvide AI chatbots with diverse and...


  • Edinburgh, Edinburgh, United Kingdom ELLIS Full time

    About the RoleWe are seeking a highly skilled Postdoctoral Research Fellow in Machine Learning to join our team at the School of Informatics. The successful candidate will have a strong background in machine learning and artificial intelligence, with a particular focus on method development for edge devices, scenarios, and environments.Key...


  • Edinburgh, Edinburgh, United Kingdom ENGINEERINGUK Full time

    Job DescriptionWe are seeking a highly skilled Machine Learning Scientist to join our Personalization team in Edinburgh. The ideal candidate will have expertise in generative AI and large models, with a proven track record of leadership in NLP and/or large models.The successful candidate will lead the design of machine learning models that scale to very...


  • Edinburgh, Edinburgh, United Kingdom Adobe Full time

    Our MissionAt Adobe, we're committed to creating exceptional digital experiences for everyone. We're looking for a talented Machine Learning Engineer to join our team and help us leverage Generative AI and Machine Learning techniques to optimize our software development processes.The OpportunityWe're seeking a mid to senior-level Machine Learning Engineer...