PhD Positions in AI Verification
3 weeks ago
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 address the critical issues of safety, dependability, and trustworthiness in AI systems, particularly in robotics.
The UKRI AI Centre for Doctoral Training in Dependable and Deployable AI for Robotics (CDT-D2AIR) is a joint 4-year PhD training programme that combines state-of-the-art robotics, machine learning, optimisation, and software engineering with verification and testing. The training programme will be conducted within the context of emerging legal standards and regulations, sustainability, ethics, and Equality, Diversity, and Inclusion (EDI).
PhD students will specialise in topics related to the four research themes of CDT-D2AIR, gaining a deep understanding of technical aspects and theoretical foundations:
- Trustworthy and Rigorous AI for Robotics
- Robust Robot Design
- Dependable AI for Human-Robot Interaction (HRI)
- AI for Deployable Robot Systems and Field Systems
The training programme will equip students with the skills and knowledge necessary to develop and deploy AI systems that are safe, reliable, and trustworthy. We welcome applications from candidates who are passionate about AI and its applications in robotics.
-
PhD Positions in AI Verification
1 month ago
Edinburgh, Edinburgh, United Kingdom European Association for Programming Languages and Systems (EAPLS) Full timePhD 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
1 month ago
Edinburgh, Edinburgh, United Kingdom European Association for Programming Languages and Systems (EAPLS) Full timePhD 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
1 month ago
Edinburgh, Edinburgh, United Kingdom European Association for Programming Languages and Systems (EAPLS) Full timePhD 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
1 month ago
Edinburgh, Edinburgh, United Kingdom European Association for Programming Languages and Systems (EAPLS) Full timePhD Opportunities in AI Verification and RoboticsWe 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...
-
PhD Positions in AI Verification
2 weeks ago
Edinburgh, Edinburgh, United Kingdom European Association for Programming Languages and Systems (EAPLS) Full timePhD 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
2 weeks ago
Edinburgh, Edinburgh, United Kingdom European Association for Programming Languages and Systems (EAPLS) Full timePhD 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...
-
PhD Researcher in In-Memory Computing for AI
4 weeks ago
Edinburgh, Edinburgh, United Kingdom AI Square Corp Full timePosition @ 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 timePosition @ 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
3 weeks ago
Edinburgh, Edinburgh, United Kingdom AI Square Corp Full timePosition @ 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
3 weeks ago
Edinburgh, Edinburgh, United Kingdom AI Square Corp Full timePosition @ 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
1 month ago
Edinburgh, Edinburgh, United Kingdom AI Square Corp Full timePosition @ 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
1 month ago
Edinburgh, Edinburgh, United Kingdom AI Square Corp Full timePosition @ 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
1 month ago
Edinburgh, Edinburgh, United Kingdom AI Square Corp Full timePosition at AI Square CorpWe are seeking a highly skilled PhD Student to join our team at AI Square Corp, working on Software Modelling/Optimization for AI Computing Architectures. The successful candidate will be part of a project exploring the potential benefits of employing software optimization techniques for modelling and training Large Language Models...
-
AI Computing Architectures PhD Researcher
1 month ago
Edinburgh, Edinburgh, United Kingdom AI Square Corp Full timePosition at AI Square CorpWe are seeking a highly skilled PhD Student to join our team at AI Square Corp, working on Software Modelling/Optimization for AI Computing Architectures. The successful candidate will be part of a project exploring the potential benefits of employing software optimization techniques for modelling and training Large Language Models...
-
AI Computing Architectures PhD Researcher
2 weeks ago
Edinburgh, Edinburgh, United Kingdom AI Square Corp Full timePosition 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 timePosition at AI Square CorpPhD Student, Software Modelling/Optimization for AI Computing ArchitecturesWe 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 successful candidate will contribute to the development of Python-based libraries for training...
-
AI Computing Architectures PhD Researcher
2 months ago
Edinburgh, Edinburgh, United Kingdom AI Square Corp Full timePosition at AI Square CorpPhD Student, Software Modelling/Optimization for AI Computing ArchitecturesWe 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 successful candidate will contribute to the development of Python-based libraries for training...
-
PhD Researcher in In-Memory Computing for AI
1 month ago
Edinburgh, Edinburgh, United Kingdom AI Square Corp Full timePosition at 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...
-
AI Computing Architectures PhD Researcher
3 weeks ago
Edinburgh, Edinburgh, United Kingdom AI Square Corp Full timePosition at 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 specific focus on Transformers, targeting various unconventional hardware architectures and computing domains (Binary, Analog, Bitstream).Key...
-
AI Computing Architectures PhD Researcher
3 weeks ago
Edinburgh, Edinburgh, United Kingdom AI Square Corp Full timePosition at 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 specific focus on Transformers, targeting various unconventional hardware architectures and computing domains (Binary, Analog, Bitstream).Key...