We have a fully funded PhD scholarship available at the School of Computer Science at the University of St Andrews on "Dependent Types and Parallel Programming". Any potential candidates are advised to contact Dr Chris Brown (cmb21@st-andrews.ac.ukmailto:cmb21@st-andrews.ac.uk) for more information. Full details of the scholarship, the topic, and how to apply are here: https://blogs.cs.st-andrews.ac.uk/csblog/2024/10/24/fully-funded-phd-scholar... The deadline for applications is the 1st March 2025, with a September start date (although there is room for some flexibility due to circumstances). International applications are welcome. We especially encourage female applicants and underrepresented minorities to apply. The School of Computer Science was awarded the Athena SWAN Silver award for its sustained progression in advancing equality and representation, and we welcome applications from those suitably qualified from all genders, all races, ethnicities and nationalities, LGBT+, all or no religion, all social class backgrounds, and all family structures to apply for our postgraduate research programmes.