30 proof-checking-postdoc-computer-science-logic PhD positions at The University of Manchester
Sort by
Refine Your Search
-
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
-
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
-
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
-
honours degree or a master’s (or international equivalent) in a relevant science or engineering related discipline. To apply, please contact the main supervisorDr William Fitzgerald - william.fitzgerald
-
between reliability, performance, computational efficiency, and adaptability under uncertainty. The candidate will be affiliated with CRADLE (Center for Robotic Autonomy in Demanding and Long-Lasting