10 proof-checking-postdoc-computer-science-logic PhD positions at The University of Manchester; in United Kingdom
Sort by
Refine Your Search
-
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
-
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
-
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
-
, requiring large computational effort to assess and study system stability. This is becoming even more challenging under increasing complexity requiring detailed dynamical models and with new dynamic phenomena
-
training in materials engineering, corrosion, and materials selection. You will become a specialist in the field of corrosion and hydrogen, opening up prospect for top-class employment & cutting edge job
-
to perform complex synthetic tasks. You will be trained in synthetic organic, polymer, and supramolecular chemistry. For more information on the group visit: www.deboresearchgroup.com [deboresearchgroup.com