phd

Fully funded PhD Scholarship in Hardware Simulation at Scale

 

As the Internet ofThings (IoT) expands, the number of connected devices is expected to reach close to 30 billion by 2030. These devices range from simple sensors to complex embedded systems, each with unique characteristics and communication protocols. Simulating such a vast and diverse array of devices presents a significant challenge in terms of scalability, accuracy, and efficiency. This PhD project aims to develop a comprehensive framework for simulating many (1000s, 10,000s, 1,000,000s) heterogeneous IoT devices, at (hopefully) close to real-time speeds. The project will focus on designing a specialised languages for describing hardware and simulations, creating an efficient simulation environment, and exploring hardware acceleration techniques to achieve high performance and scalability.

Previous research in this area has primarily focused on simulating individual devices, smaller networks, or using simplified models that do not fully capture the intricacies of real-world IoT systems. This project seeks to address these limitations by developing a scalable simulation framework that can accurately model the behaviour of billions of heterogeneous devices, advancing the state-of-the-art in simulation languages, distributed computing, and hardware acceleration.

The project will be structured around three core research ideas:

  • Simulation Languages for Heterogeneous Embedded Devices: The first research objective is to explore the creation of a specialised language for describing the behaviour and interactions of heterogeneous IoT devices. This language will need to be expressive enough to capture the wide range of device architectures and communication protocols found in IoT systems. The language will also support modularity and extensibility, allowing users to easily incorporate new device types and behaviours into the simulation.
  • Development of a Scalable Simulation Environment: The second research objective is to create a simulation environment that can efficiently emulate IoT devices at scale, across multiple simulation servers. This environment will be designed to support distributed computing, allowing for parallel execution of simulated devices across a large number of servers. The project will explore various techniques for load balancing, synchronisation, and communication between servers to ensure that the simulation remains efficient and accurate as the scale increases.
  • Hardware Acceleration for Large-Scale Simulations: The third research objective is to investigate the use of hardware acceleration techniques, such as Field Programmable Gate Arrays (FPGAs) and Graphics Processing Units (GPUs), to improve the performance of large-scale IoT simulations. This aspect of the project will focus on identifying the components of the simulation that can be offloaded to specialised hardware, and developing algorithms and architectures that leverage this hardware to achieve significant performance gains.

Topics of Interest

  • Heterogeneous Systems Modelling: Techniques for accurately modelling the diverse architectures and communication protocols of IoT devices.
  • Distributed Simulation: Methods for efficiently distributing simulations across multiple servers, including load balancing, synchronisation, and inter-server communication.
  • Simulation Languages: Design and implementation of specialised languages for describing complex IoT devices and networks.
  • Hardware Acceleration: Exploration of FPGA, GPU, and other hardware acceleration technologies to enhance the performance of large-scale simulations.
  • Scalability and Performance Optimisation: Strategies for ensuring that the simulation framework can handle the increasing complexity and scale of IoT networks.
  • Validation and Verification: Techniques for validating and verifying the accuracy and reliability of large-scale IoT simulations.

The Scholarship

We have one fully-funded scholarship available, starting in September 2025, which will be awarded to competitively to the best applicant. The scholarship covers all tuition fees (irrespective of country of origin) and comes with a stipend valued at £19,705 per annum. More details can be found here: https://blogs.cs.st-andrews.ac.uk/csblog/2024/10/24/phd-studentships-available-for-2025-entry/

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.

To Apply

Informal enquiries can be directed to Tom Spink. Full instructions for formal applications can be found at https://www.st-andrews.ac.uk/computer-science/prospective/pgr/how-to-apply/

The deadline for applications is 1 March 2025.

Fully-funded PhD scholarship in parallel programming and dependent-types

The school of Computer Science at the University of St Andrews has a fully-funded scholarship available working in the Programming Languages Research Group with Dr Christopher Brown. Applications must be received by 1 March 2025.

Background

Algorithmic skeletons provide a convenient and high-level approach to writing efficient parallel software by leveraging common patterns of parallel behaviours. A skeleton library presents the programmer with a library of high-level parallel interfaces, abstracting away the low-level complexities of manually handling concurrency primitives, e.g. locking, synchronisation and thread creation. Skeletons give an excellent compromise between ease of programming and the ability to generate highly efficient parallel software. A wide range of skeletons have been developed for several different languages, including Fastflow, TBB, PPL and OpenMP. However, despite the proliferation of skeleton libraries, there is little support for an increasingly popular class of programming languages equipped with dependent types.

 

Dependently-typed programming languages address the problem of program safety by ensuring that code conforms to its specification. This is achieved by permitting types to depend on values, thereby allowing programmers to express logical properties, and proof, as intrinsic parts of their programs. This conformance is checked at compile-time. This interest in dependent-types has resulted in a number of functional languages such as pi-forall, Agda, Idris and Coq. However, despite these developments in types, these dependently-typed languages still lack a parallel implementation, making development of safe parallel programs impossible.

 

This project will explore approaches to designing and implementing a dependently-typed parallel programming language. These approaches will consider the technical challenges, but also balancing those with the high-level usability that skeletons bring and the performance expectations of a performant system. As part of this exploration, use-cases will also need to be developed, and the scientific evaluation of the performance of the system will need to be carried out.

Topics of Interest

This project is largely exploratory in nature, and may take several different approaches and directions, including (but not limited to):

  • Extending an existing dependently-typed language, such as Idris, with new concurrency primitives.
  • Designing and implementing an efficient parallel runtime system as a backend to the language.
  • Building on top of these primitives to provide dependently-typed concurrency behaviours, such as synchronisation points, channel behaviours, etc.
  • To design and implement a set of dependently-typed algorithmic skeletons such as farms and pipelines.
  • To explore and identify new skeletons that arise from writing dependently-typed programs.
  • To use dependent-types to encode safety and soundness properties and reason about these properties in a formal way.

The Scholarship

We have one fully-funded scholarship available, starting in September 2025, which will be awarded to competitively to the best applicant. The scholarship covers all tuition fees (irrespective of country of origin) and comes with a stipend valued at £19,705 per annum. More details can be found here: https://blogs.cs.st-andrews.ac.uk/csblog/2024/10/24/phd-studentships-available-for-2025-entry/

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.

To Apply

Informal enquiries can be directed to Chris. Full instructions for formal applications can be found at https://www.st-andrews.ac.uk/computer-science/prospective/pgr/how-to-apply/

The deadline for applications is 1 March 2025.

 

PhD studentships available for 2025 entry

The School of Computer Science at the University of St Andrews is offering a number of PhD scholarships for 3.5 years of study in our doctoral research programme. UK, EU and International students are all eligible for fully-funded scholarships consisting of tuition and a stipend. These awards are part-funded through the University of St Andrews’ ‘handsel’ scheme for tuition waivers.

The School of Computer Science is a centre of excellence for computer science teaching and research, with staff and students from Scotland and all parts of the world. It is a member of the Scottish Informatics and Computer Science Alliance (SICSA).

Value of Award

  • Tuition scholarships cover PhD fees irrespective of country of origin.
  • Stipends are valued at £19,795 per annum (or the standard UKRI stipend, if it is higher).

Eligibility Criteria

We are looking for highly motivated research students willing to be part of a diverse and supportive research community. Applicants must hold a good Bachelor’s or Master’s degree in Computer Science, or a related area appropriate for their proposed topic of study.

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.

Application Deadline

All applications received before 1st February 2025 will be considered for these scholarships.

How to Apply

Any PhD application received by the deadline will be automatically considered for these scholarships. There is no need for a separate application.

The School’s main research themes are Artificial Intelligence, Health Informatics, Human-Computer Interaction, Programming Languages, and Systems. You can find further details at https://www.st-andrews.ac.uk/computer-science/research/themes/. In addition, we have cross-cutting research groups in Complex and Adaptive Systems, Computer Vision, Constraints, Data Science, MedTech, Research Software, and Responsible Computing. Applicants with interests in any of these areas are encouraged to develop a relevant research proposal and apply.

The best way to obtain a place and a scholarship is to make a robust PhD application. You are strongly encouraged to read the application guidance written on our webpages. Note that this guidance asks you to approach supervisors before formal submission to discuss your project ideas with them. Historically, applications with no named supervisor have been much less likely to result in an offer. We provide a list of existing faculty, areas of research and some potential project ideas. All supervisors listed on this page may be contacted directly to discuss possible projects. You can define your own project or discuss a project currently on offer.

Full application instructions can be found at https://www.st-andrews.ac.uk/computer-science/prospective/pgr/how-to-apply/. Enquiries and questions may be directed to pg-admin-cs@st-andrews.ac.uk.

Fully-funded PhD scholarship in user experience design

Applications are sought from passionate, creative and outgoing students interested in using their skills and interests in tabletop gaming in application to research in computer science, Human Computer Interaction, and User Experience design. This exciting PhD project will see the worlds of TTRPG and computing coincide to produce meaningful interactions to support the design, development and deployment of technology, whether from the software level, or at the pipeline level in support of those who will become developers and designers.

Tabletop Role Playing Games (TTRPG) allow the player to immerse themselves in a world where anything can happen — within the rules. You can become someone new, fight demons, play out exciting and speculative storylines, all with the help of your party. This ability to place yourself in the life of another person (or ethereal being) resonates with principles of User Experience Design (UX) where usability experts strive to understand the impact their application or interface might have on a hypothetical audience. There is also the potential for this technique to be used in computer science education, to enable students to explore real world design and programming processes, and the ethical challenges that ensue with the creation of new software and hardware.

The difficulty in eliciting requirements from users, especially users with complex interaction needs, is well-established in literature (Ferreira et al., 2019; Heumader et al., 2018; Pacheco et al., 2018). The process is one that is primarily an ongoing act of interpretation in which user ‘wants’ are translated from interviews, observation, focus groups and such into actionable ‘needs’ that can then be addressed in further design and development. The literature thus makes a distinction between ‘gathering’ requirements – as in collecting together feedback – versus ‘eliciting’ requirements, which is a a more participatory form of ongoing interpretation. As noted by Pacheco et al. the process is highly contextual and its complexities are influenced by everything from the project, the organisation, the environment, and the prior-experiences and skill-sets of all involved parties. It is also dependent on the requirements elicitation techniques employed.
Continue reading

Fully-funded PhD scholarship in Privacy and Trust on the Web

As part of their efforts to enhance privacy and trust on the Web, many applications need to be able to determine whether or not a relationship exists between different entities. For example, it is desirable for web browsers to be able to determine that two domain names are under the same administrative control, such that cookies and other data can be safely shared between them. While determining these relationships might be easy for humans, it is impossible to do so algorithmically.

This project will explore approaches to the defining and enforcing organisational boundaries on the Internet. These approaches will consider the technical challenges, balancing those with user behaviour and expectations, and regulatory considerations. This will include identifying use cases, evaluating and measuring existing and proposed approaches, and developing and implementing novel techniques. Where appropriate, this will involve engagement with standards development organisations, including the World Wide Web Consortium (W3C) and the Internet Engineering Task Force (IETF). Continue reading

PhD studentships available for 2024 entry

About the Programme

The School of Computer Science at the University of St Andrews is offering a number of PhD studentships for 3.5 years of study in our doctoral programme. Funding is available to cover tuition fees for UK, EU and international students, as well as living expenses (a stipend of £18,622 per annum, or the standard UKRI stipend if it is higher). We offer two types of studentship:

  • a fully-funded studentship consisting of tuition and stipend
  • tuition-only studentships, funded through the University’s ‘handsel’ scheme for tuition waivers

The School of Computer Science is a centre of excellence for computer science teaching and research, with staff and students from Scotland and all parts of the world. It is a member of the Scottish Informatics and Computer Science Alliance (SICSA).

Eligibility Criteria

We are looking for highly motivated research students willing to be part of a diverse and supportive research community. Applicants must hold a good BSc or MSc in Computer Science, or a related area appropriate for their proposed topic of study.

We especially encourage female applicants and underrepresented minorities to apply. The University of St Andrews is committed to promoting equality of opportunity for all, which is further demonstrated through its working on the Gender and Race Equality Charters and being awarded the Athena SWAN award for women in science, HR Excellence in Research Award and the LGBT Charter.

Application deadline

1st February 2024.

How to apply

Any PhD application received through the University PGR application system by the deadline will be automatically considered for these studentships. There is no need for a separate application. Note, however, that if you are applying for a CSC Scholarship then you cannot be considered for these School studentships due to conflicting application dates.

We strongly advise applicants to contact potential supervisors to discuss their research proposal before applying. Historically, applications with no named supervisor have been much less likely to result in an offer.

The School’s main research groups are Artificial Intelligence, Computer Systems, Human-Computer Interaction, and Programming Languages. You can find further details at https://www.st-andrews.ac.uk/computer-science/research/groups/. A list of existing faculty and areas of research can be found at https://www.st-andrews.ac.uk/computer-science/prospective/pgr/supervisors/. All supervisors listed on this page may be contacted directly to discuss possible projects. You can define your own project or discuss a project currently on offer. Some highlighted potential areas or projects offered by supervisors include:

  • Tool support for the representation of ethical concerns in software artefacts (Dr Dharini Balasubramaniam)
  • Automated Configuration of Constraint Solvers via Machine Learning
    (Dr Nguyen Dang)
  • ILNP ubiquitous communications (Prof Saleem Bhatti)

Full details on how to apply can be found at https://www.st-andrews.ac.uk/computer-science/prospective/pgr/how-to-apply/

Application enquiries can be directed to pg-admin-cs@st-andrews.ac.uk.

World-Leading PhD Scholarship in Health Informatics

A fully-funded PhD scholarship is available to support an exceptional student wishing to undertake doctoral research in health informatics, in particular looking at analysing and predicting disease trajectories of multimorbidity. This prestigious PhD scholarship is awarded by St Leonard’s Postgraduate College at the University of St Andrews and will be supervised by Dr Areti Manataki, Dr Katherine Keenan, Prof Colin McCowan and Dr Michail Papathomas. Applications must be received by 12 June 2023.

Further information, including how to apply, can be found at: https://www.st-andrews.ac.uk/study/fees-and-funding/scholarships/scholarships-catalogue/postgraduate-scholarships/world-leading-scholarship-04-computer-science-medicine-geography/

Fully-funded PhD scholarship in Health Data Visualisation

The School of Computer Science at the University of St Andrews has a fully-funded scholarship available working with Dr Areti Manataki. The PhD topic is “Shedding light on patient flow through advanced data visualisation”. Applications must be received by 1 March 2023.

Project Overview

In modern healthcare systems, millions of patients are admitted to hospital every day. Managing patient flow through hospital, to ensure that patients are at the right place at the right time, can improve quality of care and health outcomes, while saving money and time. However, managing patient flow in a way that is safe for patients and cost-efficient is a challenging task, and requires a deep understanding of the complexities associated with patient flow.

This project involves employing advanced data visualisation techniques to shed light on patient flow and its many important dimensions: temporal and spatial patterns, patient characteristics, clinical expertise, hospital capacity and associated cost. Drawing inspiration from visualisation approaches to astronomy and transportation, and working closely with healthcare professionals, we will develop interactive visualisations that allow for the exploration of large and rich patient flow data. Our aim is to build visualisations that are powerful enough to capture the complexity of patient flow, and, at the same time, simple enough for clinicians to easily use to draw conclusions towards improving care.

Eligibility Criteria

We are looking for highly motivated research students willing to be part of a diverse and supportive research community. Applicants must hold a BSc or MSc in Computer Science or a related area (e.g., Data Science, Engineering, Mathematics, etc.). Experience in data visualisation, enthusiasm for research at the intersection of data science and health, an ability to think and work independently, excellent programming and analytical skills, and strong verbal and written communication skills are essential.

International applications are welcome. We especially encourage female applicants and underrepresented minorities to apply.

To apply

Informal inquiries can be directed to Dr Areti Manataki at A.Manataki@st-andrews.ac.uk. Formal applications can be made through the School’s postgraduate research portal.

The deadline for applications is 1 March 2023.

Funding Notes

We have one fully-funded scholarship available, which will be awarded competitively to the best applicant. This scholarship covers all tuition fees irrespective of country of origin and comes with a stipend (currently £17,668 per annum full-time equivalent). Additional scholarships may be available from other sources.

The School welcomes applications from under-represented groups, and is willing to consider part-time and flexible registrations. The successful applicant will however be expected to conduct their research in St Andrews and not fully remotely.

Fully-funded PhD scholarship in complex systems and simulation

The School of Computer Science at the University of St Andrews has a fully-funded scholarship available working within the Complex and Adaptive Systems Research Group with Prof Simon Dobson and Dr Peter Mann. Applications must be received by 1 March 2023.

Background

A “complex” system is one in which cause and effect can be hard to determine. In an epidemic, for example, it is easy to determine how someone was infected (by one of their social contacts), and we can also predict the overall size of an outbreak from the properties of the contact network — but we may not be able to predict in detail how the epidemic proceeds through the network, or what could be done to counter or steer it. Other examples include studying how rumours grow (and can be countered) on social networks, or to understand the effects of placement and error in sensor-driven systems such as those in climate science and ecology.

We understand relatively little about how things at “in-between” scales affect processes. These “meso-structures” include things like dense clusters of individuals, sparse chains of contacts, networks with core and periphery structures with different properties, and so on.

We are conducting a research programme investigating network meso-structures, with several goals. We want to understand these structures’ effects both analytically and numerically, meaning that we want to develop new frameworks for network process simulation and modelling based on our locally-developed simulation framework, epydemic, and to develop new analytic approaches to the study of these topics based on ideas from simplicial topology and sheaf theory.

Topics of interest

We are interested in a lot of different approaches, including but not limited to:

  • Applications of generating functions to the study of network processes
  • New applications of discrete combinatorial mathematics to complex systems
  • Understanding the effects of fine structure on processes
  • New simulation and numerical analysis techniques for complex systems
  • Epidemic spreading, especially the ways in which disease variants interact and develop through co-infection
  • Complex contagions such as rumour-spreading
  • Generating random networks with specific statistical properties

The scholarship

We have one fully-funded scholarship available, which will be awarded competitively to the best applicant. This scholarship covers all tuition fees and comes with a stipend (currently £17,668 full-time equivalent). Additional scholarships may be available from other sources.

The School welcomes applications from under-represented groups, and is willing to consider part-time and flexible registrations. The successful applicant will however be expected to conduct their research in St Andrews and not fully remotely.

To apply

Informal inquiries can be directed to Simon or Peter. Formal applications can be made through the School’s postgraduate research portal.

The deadline for applications is 1 March 2023.

Phd Scholarships for 2023

Scholarship Description
The School of Computer Science is offering the following types of scholarships for 3.5 years of study in our PhD programme. UK, EU and International students are all eligible for:

• Fully funded scholarships consisting of tuition + stipend
• Tuition-only scholarships

This award is part-funded through the University’s new ‘handsels’ scheme.

Value of Award
• Tuition scholarships cover PhD fees irrespective of country of origin.
• Stipends are valued £17,668 per annum (or the standard UKRI stipend, if it is higher).

Eligibility Criteria
We are looking for highly motivated research students willing to be part of a diverse and supportive research community. Applicants must hold a BSc or MSc in Computer Science or a related area appropriate for their proposed topic of study.

International applications are welcome. We especially encourage female applicants and underrepresented minorities to apply.

Application Deadline
All applications received before 1st February 2023 will be considered for the first round of scholarship eligibility. Later applications will also be considered for scholarships as long as funding remains.

How to Apply

If accepted, every PhD application indicating interest will automatically be considered for these scholarships. There is no need for a separate application.

The best way to win one of our scholarships is to make a robust PhD application. You are strongly encouraged to approach supervisors before formal submission to discuss your project ideas with them.

The School’s main groups are Artificial Intelligence and Symbolic Computation, Computer Systems and Networks, Human-Computer Interaction, and Programming Languages. It is highly recommended that applicants identify potential supervisors in their applications. A list of existing faculty and areas of research can be found at https://www.st-andrews.ac.uk/computer-science/prospective/pgr/supervisors/). All supervisors listed on this page may be contacted directly to discuss possible projects.

Full application instructions can be found at https://www.st-andrews.ac.uk/study/apply/postgraduate/research/.
Inquiries and questions may be directed to pg-admin-cs@st-andrews.ac.uk.