Current jobs related to PhD Positions in AI Verification - Edinburgh, Edinburgh - European Association for Programming Languages and Systems (EAPLS)

  • 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 VerificationWe 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...

  • 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 VerificationWe 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...

  • PhD Positions in AI Verification

    4 weeks ago

    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...

  • PhD Positions in AI Verification and Safety

    3 weeks ago

    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...

  • Research Positions: Advanced AI Verification for Robotics

    6 days ago

    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...

  • PhD Researcher in In-Memory Computing for AI

    4 weeks ago

    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. IMC is proposed to bridge the Von-Neumann performance gap for AI applications with massive data workloads. The project targets exploring...

  • PhD Researcher in In-Memory Computing for AI

    4 weeks ago

    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. IMC is proposed to bridge the Von-Neumann performance gap for AI applications with massive data workloads. The project targets exploring...

  • PhD Researcher in In-Memory Computing for AI

    2 months ago

    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...

  • PhD Researcher in In-Memory Computing for AI

    2 months ago

    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...

  • AI Computing Architectures PhD Researcher

    3 weeks ago

    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...

  • AI Computing Architectures PhD Researcher

    2 months ago

    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 Computing Architectures PhD Researcher

    2 months ago

    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

    3 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

    4 weeks 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

    4 weeks 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...

  • Research Scientist, In-Memory Computing Architectures for AI

    3 weeks ago

    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...

  • Research Scientist, AI Computing Architectures Optimization

    3 weeks ago

    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...

  • PhD Research Scientist

    3 days ago

    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...

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 and Robotics

We are launching a new PhD training program in collaboration with Heriot-Watt and Edinburgh Universities, focusing on "Dependable and Deployable AI for Robotics". Our research aims to extend the applicability, scalability, and usability of verification and certification methods for deploying robotic and autonomous systems.

Candidates with interest in verification and programming languages for AI are encouraged to contact our team directly. Our training program combines state-of-the-art robotics, machine learning, optimisation, and software engineering with verification and testing.

The PhD program will 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. Our research focuses on four key themes:

  • Trustworthy and Rigorous AI for Robotics
  • Robust Robot Design
  • Dependable AI for Human-Robot Interaction (HRI)
  • AI for Deployable Robot Systems and Field Systems

Our training program will be conducted within the context of emerging legal standards and regulations, sustainability, ethics, and Equality, Diversity, and Inclusion. PhD students will specialise in topics related to these themes, gaining a deep understanding of technical aspects and theoretical foundations.