15 proof-checking-postdoc-computer-science-logic PhD positions at The University of Manchester; in Uk
-
Application deadline: All year round Research theme: Department of Chemical Engineering; research theme: advanced functional materials and analytical science How to apply: https://uom.link/pgr-apply
-
. The project will investigate how advanced and modern cryptographic protocols, such as zero-knowledge proofs, secure multiparty computation, homomorphic encryption, exotic signatures, and their post-quantum
-
of Physics & Astronomy and Computer Science, joining an interdisciplinary team bridging spintronics, photonics, and materials science. During your PhD you will gain hands-on experience in: ultrafast laser
-
optomechanics, this project aims to deliver proof-of-concept quantum acceleration sensors ready for technological adoption. [1] Gonzalez-Ballestero et al, Science 374, 6564 (2021) [2] Piotrowski et al, Nature
-
sustainability assessment framework and computational tool using Model-Based Systems Engineering (MBSE) and lifecycle modelling techniques. Apply and test the framework through case studies (e.g., ADR, ISRU, In
-
honours degree (or equivalent) in a relevant discipline such as biology, ecology, microbiology, plant sciences, bioinformatics, or data science. The project is particularly suitable for students with
-
successful candidate will join the PhD programme of the Department of Mathematics at the University of Manchester. This 42-month PhD position (funded by the University of Manchester) is a full scholarship
-
challenge. This project aims to increase the technology readiness level of microwave NDE by addressing fundamental laboratory challenges and transferring techniques to practical use. The project involves
-
Research theme: Organic and Biological Chemistry How to apply: uom.link/pgr-apply-2425 UK students This 4-year PhD studentship is open to Home (UK) applicants. The successful candidate will receive
-
learning, etc.) Applicants should have, or expect to achieve, at least a master’s (or international equivalent) in a relevant science or engineering-related discipline. Strong programming ability in