3 proof-checking-postdoc-computer-science-logic PhD positions at Bangor University in United Kingdom
-
Science and Technology Facilities Council (STFC), Scientific Computing Department Daresbury Laboratory, with the PhD being conducted between Bangor and Daresbury with a 50:50 time split. This project is
-
Deadline extended: 30 October 2025 (originally 29 September 2025) A fully funded 3-year PhD is available in the School of Computer Science and Engineering (SCSE), Bangor University. The project will
-
A fully funded 3-year PhD studentship is available from 1st October 2025 in the School of Computer Science and Engineering at Bangor University. The project investigates viral infection in real-time
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions