PhD Positions in Verification of AI Systems

Job Title: PhD Researcher in AI VerificationHeriot-Watt and Edinburgh Universities are inviting applications for a PhD research project on Dependable and Deployable AI for Robotics. The project focuses on verifying the safety of AI systems and welcomes candidates with expertise in verification and programming languages for AI.Candidates will have the...

PhD Research Position: AI Verification and TestingWe are seeking a highly motivated and skilled PhD researcher to join our team at Heriot-Watt and Edinburgh Universities. The focus is on verification and testing of AI systems, and the successful candidate will contribute to the development of novel solutions to extend the applicability, scalability, and...

Research PhD in AI/ AI SafetyWe are seeking an exceptional PhD researcher to join our team at the European Association for Programming Languages and Systems (EAPLS). The successful candidate will contribute to the development of dependable and deployable AI for robotics, focusing on verification of AI.This role offers a unique opportunity to explore...

Dependable and Deployable AI for Robotics PhDThe European Association for Programming Languages and Systems (EAPLS) is seeking a highly motivated PhD researcher to contribute to the development of dependable and deployable AI for robotics. This exciting opportunity is part of the UKRI AI Centre for Doctoral Training in Dependable and Deployable AI for...

We are seeking a highly motivated PhD student to join our team at Heriot-Watt and Edinburgh Universities, as part of the UKRI AI Centre for Doctoral Training in Dependable and Deployable AI for Robotics (CDT-D2AIR). Our goal is to train students in the latest methods in AI, verification, design, and robotics, ensuring that robotic systems can be safely...

Job Summary:We are seeking an experienced professional to support our research efforts in AI for Electronics as a Graduate Research Administrator at The University of Edinburgh. You will play a key role in developing and introducing AI tools for Electronics Testing and Verification, predicting what to test and when. Your research will span from improving...

About the ProjectThis PhD project aims to investigate the benefits of using software optimization techniques for AI computing architectures. The research will focus on exploring the potential of using Python-based libraries for training and inference.The project will involve integrating these libraries with PyTorch and/or TensorFlow to enable...

About the ProjectThis position is affiliated with the UKRI APRIL AI Hub, which aims to develop AI tools to accelerate innovation across semiconductor technologies, novel microchip designs, and system architectures.You will be part of a team working on the development of novel AI capabilities, tools, and methodologies that can enhance the productivity of...

Job SummaryThis role involves developing and introducing AI tools in electronics testing and verification for predicting what to test and when.You will work closely with a team of talented researchers and the APRIL operations team to support the development of novel AI capabilities, tools, and methodologies that can enhance the productivity of engineers in...

Job OverviewWe invite applications for a PhD Student position in Software Modelling and AI at The University of Edinburgh. This exciting opportunity is part of a research project focused on optimizing Large Language Models (LLMs) for execution on non-traditional hardware architectures.You will collaborate with our expert team to design and implement novel...

Research Opportunity: PhD Position with Integrated Study in AI SystemsWe invite applications for a fully-funded 4-year PhD position in the EPSRC Centre for Doctoral Training in Machine Learning Systems at the University of Edinburgh. The successful candidate will contribute to the development of innovative machine learning systems and collaborate with our...

PhD Position in Software Optimisation for AI ComputingThis PhD position focuses on developing software optimisation techniques to improve the performance of Large Language Models (LLMs) on unconventional hardware architectures and computing domains (Binary, Analog, Bitstream). By leveraging Python-based libraries for training and inference, we aim to...

Software Optimisation for AI Computing Architectures PhD PositionWe are excited to announce a PhD opportunity at the University of Edinburgh, UK, focused on software optimisation for AI computing architectures. The selected candidate will work under the guidance of experienced researchers to explore the benefits of employing software optimisation techniques...

The University of Edinburgh is a world-leading research centre established to advance the field of Artificial Intelligence for Assistive Autonomy. We are seeking an experienced AI Researcher to join our team and contribute to the development of autonomous vehicles that can safely interact with humans in crowded urban environments.We offer a competitive...

We are seeking a highly skilled researcher to join our team and contribute to the development of dependable robotics. As part of our PhD training programme, you will have the opportunity to work on cutting-edge research projects and collaborate with industry experts.Key responsibilities include:Conducting research in AI verification and validationDeveloping...

Job Title: AI Computing Architectures ResearcherThe position is based at The University of Edinburgh, United Kingdom. As a PhD Student in Software Modelling and AI, you will explore the benefits of software optimization techniques for modelling and training Large Language Models (LLMs) on unconventional hardware architectures.The project targets developing...

PhD Researcher in AI Computing ArchitecturesWe are looking for a talented and ambitious PhD researcher to contribute to our ongoing research project at the University of Edinburgh, UK. This project focuses on optimizing software for AI computing architectures, with an emphasis on Transformers and unconventional hardware platforms.Salary Range: £35,000 -...

The University of Edinburgh is offering an exciting opportunity for an Interactive AI Specialist to join its Centre for AI for Assistive Autonomy.The post-holder will be part of a foundations team, focusing on fundamental investigations into generative modelling of the full stack of human behaviour, from sensorimotor control to higher level cognitive...

About Us:We are a leading research institution with a strong focus on artificial intelligence and machine learning. Our team is dedicated to advancing the state-of-the-art in AI research and developing innovative solutions for real-world problems.We are seeking a highly motivated and experienced researcher to join our team as a PhD student. The successful...

**The Opportunity**This role is part of the UKRI APRIL AI Hub, a highly visible programme both nationally and internationally.You will work closely with a team of talented researchers and the APRIL operations team to support the development of novel AI capabilities, tools, and methodologies that can enhance the productivity of engineers in designing,...