22 proof-checking-postdoc-computer-science-logic PhD positions at The University of Manchester
Sort by
Refine Your Search
-
, utilising superpositions between quantum bits (qubits) to provide an exponential vector space for computation. Consistent increases in qubit quantity and quality have made proof-of-concept quantum
-
Department: Materials Title: Improving the sustainability of engineering plastics Application deadline: 27/02/2026 Research theme: Polymers and composites How to apply: https://uom.link/pgr-apply
-
and research background in a range of fields relating to colloid and interface science, biointerfaces and biomaterials underlining the interactions of biocides with microbial and host membranes
-
farms at relatively close proximity can be relevant when considering their annual energy production. This project will examine the uncertainty of various types of numerical models, from fast-computing
-
. However, there are significant challenges to a broad proof of concept that would be addressed in this PhD project. Laser beam sources, process development and control to enable better control of mass
-
energy? This PhD offers a rewarding chance to become a materials science expert, combining cutting-edge characterisation with real-world industrial impact. At the University of Manchester, working in
-
produced off-site in parts and later assembled on-site. This project aims to advance 3DP technology by incorporating mobility and autonomy, thereby scaling up the effective workspace to match arbitrary
-
systems. Applicants should have, or expect to achieve, at least a 2.1 honours degree or a master’s (or international equivalent) in a relevant science or engineering related discipline. *Solid background in
-
-free stipend based on the UKVI amount (£20,780 for 2025-26). We expect the stipend to increase each year. This studentship is related to a multi-institutional EPSRC Programme Grant “AMFaces: Advanced
-
to increase each year. Tuition fees will also be paid. Home students are eligible. A funded PhD studentship is available in the field of computational inorganic chemistry. The project will involve prediction