Don't miss our weekly PhD newsletter | Sign up now Don't miss our weekly PhD newsletter | Sign up now

We have 17 PhD Projects, Programmes & Scholarships

Filter Results 1
Filter Results 1
 Back
 Clear

Discipline

Discipline

All disciplines

Location

Location

All locations

Institution

Institution

All Institutions

PhD Type

PhD Type

All PhD Types

Funding

Funding

All Funding

Filter results
 Back
 Clear filter
Show 17 results
 Back
 Clear filter
Show 17 results
 Back
 Clear filter

Show 17 results
 Back
 Clear filter
Show 17 results
 Back
 Clear filter
Show 17 results
Reset

PhD Projects, Programmes & Scholarships

We have 17 PhD Projects, Programmes & Scholarships

Show more
More details

On-Package Communication for Heterogeneous 2.5D Chiplet Systems

The University of Manchester
Department of Computer Science
The semiconductor industry is rapidly shifting towards modular design based on chiplets and Multi-Chip Modules, where multiple dies — CPUs, GPUs, AI accelerators, memory stacks — are integrated side by side on a common interposer. Read more
 Supervisors: Dr D Bertozzi, Prof J Goodacre
 30 June 2026  PhD Research Project  Funded PhD Project (UK Students Only)
More details
More details

EPSRC - Neuromorphic Underwater Star Tracking for Navigation and Monitoring

The University of Manchester
Department of Computer Science
  Research Group: Neuromorphic Systems
When equipped with an upward-facing camera, underwater vehicles can detect objects above the water surface, from insects to satellites. Read more
 Supervisors: Prof A van Schaik, Dr A Marcireau
 30 June 2026  PhD Research Project  Funded PhD Project (UK Students Only)
More details
More details

Developing magnonic building blocks for neuromorphic computing

The University of Manchester
Department of Computer Science
This PhD project will develop nanoscale devices which use magnons (collective excitations in magnetic order) as information carriers for ultra-efficient, compact, brain-inspired computing. Read more
 Supervisor: Dr W Griggs
 2 November 2026  PhD Research Project  Funded PhD Project (UK Students Only)
More details
More details

Building Privacy-Preserving and Secure Decentralized AI via Cryptography

The University of Manchester
Department of Computer Science
As AI systems scale, privacy, security, and trustworthiness emerge as challenges. For instance, private data may be leaked during model training, and interactions among autonomous entities can lead to vulnerabilities. Read more
 Supervisor: Dr Z Wang
 1 July 2026  PhD Research Project  Funded PhD Project (UK Students Only)
More details
More details

Physical-Layer Insecurities of Cyber-Physical Systems

The University of Manchester
Department of Computer Science
  Research Group: Cyber Security
Modern digital systems are increasingly integrated with the physical world. Examples include power grids, autonomous vehicles, and space systems. Read more
 Supervisors: Dr S Kohler, Dr LC Cordeiro
 Year round applications  PhD Research Project  Funded PhD Project (UK Students Only)
More details
More details

Safe Agentic/LLM Reasoning via Formal Verification

The University of Manchester
Department of Computer Science
The target is to explore novel synergies among natural language-based Human-AI interaction, nature-inspired optimization and exploration, the social impacts of Human-AI cooperation on team dynamics, and advanced machine learning in the engineering domain. Read more
 Supervisor: Dr LC Cordeiro
 Year round applications  PhD Research Project  Funded PhD Project (Students Worldwide)
More details
More details

EPSRC: Spin-lattice dynamics in advanced magnetic materials

The University of Manchester
Department of Computer Science
  Research Group: Advanced Materials
Advanced magnetic materials provide a versatile platform for exploring emergent spin phenomena and developing next-generation technologies. Read more
 Supervisors: Dr M Strungaru, Prof T Thomson
 Year round applications  PhD Research Project  Funded PhD Project (UK Students Only)
More details
More details

Sensorimotor integration in neuromorphic systems

The University of Manchester
Department of Computer Science
  Research Group: Neuromorphic Systems
Humans navigate complex, dynamic environments every day throughout their lifespans. They recognise objects and other humans and can interact with the environment in a seemingly natural and trivial way. Read more
 Supervisors: Dr G Detorakis, Prof A van Schaik
 Year round applications  PhD Research Project  Competition Funded PhD Project (Students Worldwide)
More details
More details

Formalizing and Testing Function Boolean Conjectures with LLMs

The University of Manchester
Department of Computer Science
Formalized mathematics is booming [1,2,3,4] .Traditionally validated manually, mathematicians increasingly formalize and validate proofs in Lean, the interactive theorem prover [5,6]. Read more
 Supervisors: Prof U Sattler, Dr D Winterer, Dr A Mukherjee
 Year round applications  PhD Research Project  Competition Funded PhD Project (Students Worldwide)
More details
More details

Guiding and Evaluating Neural Theorem Proving

The University of Manchester
Department of Computer Science
Formalized mathematics is booming [1,2,3,4] .Traditionally validated manually, mathematicians increasingly formalize and validate proofs in Lean, the interactive theorem prover [5,6]. Read more
 Supervisors: Prof U Sattler, Dr D Winterer, Dr A Mukherjee
 Year round applications  PhD Research Project  Competition Funded PhD Project (Students Worldwide)
More details
More details

An Institution for TLA+: A Framework for Interoperability

The University of Manchester
Department of Computer Science
There are a plethora of formal methods used for the specification and verification of critical systems. Each of these is suitable for modelling and anlaysing various aspects of system operation. Read more
 Supervisor: Dr M Farrell
 30 June 2026  PhD Research Project  Competition Funded PhD Project (Students Worldwide)
More details
More details

Formal Semantics of the Perfect Language

The University of Manchester
Department of Computer Science
Perfect Developer, from Escher Technologies, is a language system that combines specification constructs, programming constructs, code generation and verification. Read more
 Supervisor: Dr R Banach
 Year round applications  PhD Research Project  Competition Funded PhD Project (Students Worldwide)
More details
More details

Mechanically Checking the Semantics of Hybrid Event-B

The University of Manchester
Department of Computer Science
These days, the world is increasingly being populated with systems that interact directly with the physical world. Of course such systems have existed for a long time in niche safety-critical areas, eg. Read more
 Supervisor: Dr R Banach
 Year round applications  PhD Research Project  Competition Funded PhD Project (Students Worldwide)
More details
More details

Hybrid Event-B and Rodin

The University of Manchester
Department of Computer Science
These days, the world is increasingly being populated with systems that interact directly with the physical world. Of course such systems have existed for a long time in niche safety-critical areas, eg. Read more
 Supervisor: Dr R Banach
 Year round applications  PhD Research Project  Competition Funded PhD Project (Students Worldwide)
More details
More details

Testing Zero Knowledge Proof Toolchains

The University of Manchester
Department of Computer Science
Zero-knowledge proof (ZKP) toolchains provide the infrastructure to prove statements without revealing private information beyond their truth. Read more
 Supervisors: Dr D Winterer, Dr LC Cordeiro
 Year round applications  PhD Research Project  Competition Funded PhD Project (Students Worldwide)
More details
PhD Project & Programmes Search for PhDs PhDs by Subject PhDs by Institution PhDs by Email PhDs in the United Kingdom PhDs in Biological Sciences PhDs in Engineering PhDs by supervisor Professional Training and Short Courses
Info for students Postgraduate Open Days PhD Study Guides PhD Study Abroad Funding Your PhD Postgraduate Advice Forum Postgraduate Email Updates
Info for advertisers Advertise your PhD Project & Programmes Testimonials Provider Login Display Advertising Targeted Emails Advertiser Terms

FindAPhD. Copyright 2005-2026
All rights reserved.

Contact Us
Sitemap
Privacy
Accessibility
Advertise
FindAPhD is a trading name of FindAUniversity, A Keystone Company.
Registered Address: FindAUniversity Ltd, 77 Sidney St, Sheffield, S1 4RG
Our websites: FindAMasters | FindAPostDoc | Postgraduate Forum | FindCourses

Filtering Results