28 proof-checking-postdoc-computer-science-logic PhD positions at The University of Manchester in United Kingdom
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
-
clothing. While inclusivity has become a recurring theme in fashion discourse, there remains a critical gap in both academic research and industrial application when it comes to designing, engineering, and
-
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
-
Computer Science, Mathematics, or related areas. • Strong background in at least one of the following: formal methods, SMT solving, abstract interpretation, or model checking. • Experience with verification tools
-
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
-
Research theme: Laser materials processing; Advanced manufacturing; Mechanical Engineering This 3.5-year PhD is funded by the University of Manchester and is open to UK students. The funding covers
-
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