25 proof-checking-postdoc-computer-science-logic PhD positions at The University of Manchester in United Kingdom
Sort by
Refine Your Search
-
This 3.5 year PhD project is fully funded by the Department of Chemistry (DTP). Home students, and EU students with settled status, are eligible to apply. The successful candidate will receive
-
early as the advert may be removed before the deadline. High-dimensional computations are ubiquitous in science and engineering, often arising from models with numerous parameters. For instance
-
, 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
-
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
-
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
-
are expected to have an MSc degree in Computer Science or Mathematics. Familiarity with Cryptography, Number Theory, Isogenies, Implementation (proof of concept or advanced) of cryptographic protocols will be
-
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
-
detector technologies and new data acquisition strategies for future experiments. We host one of the largest and most successful Tier-2 distributed computing centres in the UK. We are accepting applications
-
) how do variations in alloy chemistry (Si, Mg, Cu) impact quench sensitivity and precipitation behaviour; iii) what role do pre-ageing conditions—temperature, duration, and natural ageing time—play in