9 proof-checking-postdoc-computerscience PhD positions in computer-science in United Kingdom
-
inexpensive microfluidic techniques. While the mechanism of these drops’ motion is well-known, controlling their trajectory is often challenging. There exist experimental proofs-of-concept that utilize imposed
-
to simultaneously learn control policies and safety certificates—mathematical proofs that control decisions are safe. Data from system operation provides evidence that both the control and the proofs
-
skills and an interest in proofs and prototypes. The successful candidate joins the Cryptography and AI Security Lab at Newcastle University Number Of Awards 1 Start Date January 2027 Award Duration 3.5
-
awarded funding, this will be confirmed via a formal studentship award letter; this will be provided separately from any Offer of Admission and will be subject to standard checks for eligibility and other
-
interested in a combined research and teaching PhD, and how you match the criteria listed above. Your lead supervisor will then nominate candidates for consideration by the Faculty and, if nominated, you will
-
, how your background and skills fit the project, and your potential plans within the research focus of this position (max. 2 pages). CV, including contact details of at least two referees familiar with
-
: Scope fit (Economic Policy & Public Administration), Demonstrable research quality, originality, and feasibility (data/methods), Ability to create a publication pipeline and integrate the candidate into a
-
for applications: 14 August 2026 For questions check our FAQ or contact us at [email protected] . Please also review our Candidate Privacy Policy . We look forward to hearing about your skills, experiences and
-
interested in a combined research and teaching PhD, and how you match the criteria listed above. Your lead supervisor will then nominate candidates for consideration by the Faculty and, if nominated, you will