Dear all, The School of Computer Science at the University of Nottingham in the UK is seeking applications for a number of fully-funded PhD studentships: https://tinyurl.com/uon-phds-2027 Applicants in the area of the Functional Programming Lab (https://tinyurl.com/fp-notts) are strongly encouraged! If you are interested in applying, please contact a potential supervisor in the group as soon as possible: Thorsten Altenkirch - constructive logic, proof assistants, homotopy type theory, category theory, lambda calculus. Ulrik Buchholtz - homotopy type theory, synthetic homotopy theory, proof assistants, constructive mathematics, and related topics. Graham Hutton - functional programming, haskell, category theory, program verification, program calculation. Nicolai Kraus - not seeking a student through this scheme. Dan Marsden - category theory, logic, finite model theory, diagrammatic reasoning, foundations of computer science. The application deadline is 6th January 2027. Best wishes, The FP Lab University of Nottingham +-----------------------------------------------------------+ Fully-Funded PhD Studentships School of Computer Science University of Nottingham, UK https://tinyurl.com/uon-phds-2027 Applications are invited from Home and International students for fully-funded PhD studentships starting on 1st October 2027. Funded by the EPSRC Doctoral Landscape Award at the University of Nottingham, these studentships provide an opportunity to undertake ambitious, challenging and rewarding research in a vibrant academic environment. The topics for the studentships are open, but your research proposal should relate to the interests of one of the School's research groups: Cyber-Physical Health and Assistive Robotics; Computational Optimisation and Learning; Computer Vision; Cyber Security; Functional Programming; Intelligent Modelling and Analysis; Mixed Reality; Uncertainty in Data and Decision Making; Visualisation and Computer Graphics; Responsible Digital Futures. The studentships available are fully funded for 3.5 years and include a stipend of £21,805 per year and tuition fees. Applicants are expected to have a first-class Bachelor or Master's degree (or international equivalent) in a related discipline. If you are interested in applying, please contact a potential supervisor as soon as possible, and at least two weeks prior to the closing date. If the supervisor wishes to support your application, they will direct you to make an official application through the MyNottingham system. Closing date for applications: Wednesday 6th January 2027 +-----------------------------------------------------------+ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.