Fully Funded PhD Studentships in Functional Programming at the University of Nottingham University of Nottingham in United Kingdom

[£21,805 per annum stipend for 2026/7, plus funding of fees.] PhD studentship at the University of Exeter on End-to-End Verification of Security Protocols in Isabelle . This project investigates how theorem proving can be used to establish end-to-end guarantees for modern security systems. Rather than only verifying a security protocol in isolation, the research asks how to ensure that the checked representation faithfully captures the intended program, so correctness and security can be compose...

PhD project at the University of Southampton in electronic structure theory for quantum dynamics on classical and quantum computers. This fully funded doctoral project sits in the Faculty of Engineering and Physical Sciences and is based in the School of Chemistry & Chemical Engineering . The research explores how molecules behave after photoexcitation by developing new methods for excited-state dynamics, with a strong focus on theoretical chemistry , scientific programming , quantum computing ,...

PhD opportunity at the University of St Andrews in the School of Psychology and Neuroscience: EASTBIO Cognitive flexibility in rats: a new approach to automation . This project sits at the intersection of neuroscience , psychology , biology , and translational research on cognitive flexibility and behavioural flexibility . The work focuses on attentional set-shifting in rats, developing a new automated sound-based task to improve throughput and objective behavioural measurement. The project also...

The MSc in Acoustics and Music Technology at the University of Edinburgh is a one-year, full-time postgraduate programme based at Edinburgh College of Art and the Reid School of Music. It takes the science of sound as its focus and examines the musical, technical and multimedia applications of acoustics and audio technology. Students work in a cross-disciplinary environment combining theoretical and experimental approaches. The programme develops scientific foundations in acoustics, audio and mu...

PhD opportunity in Machine Learning Systems at the University of Edinburgh , hosted by the School of Informatics and the CDT in Machine Learning Systems. This cohort-based doctoral programme focuses on the symbiosis between computer systems and machine learning , with training across the systems-ML stack. Research and training areas include computer systems , machine learning , hardware , sensors and control , programming , integrated machine learning environments , AI ethics , and leadership an...