2 proof-checking-postdoc-computer-science-logic PhD positions at The University of Edinburgh; in United Kingdom

PhD Studentship in Computer Architecture and Compilers

The University of Edinburgh; | Edinburgh, Scotland | United Kingdom | 18 days ago

Applicants should apply via the University’s admissions portal (EUCLID) and apply for the following programme: PhD in ICSA  with a start date of 1 September 2026. Applicants should state “Memory

PhD Studentship: Smart Electrolytes for Next-Generation Zinc-Ion Batteries

The University of Edinburgh; | Edinburgh, Scotland | United Kingdom | about 1 month ago

, Chemistry, Physics, Engineering, Mathematics, Computer Science, Data Science, Machine Learning or Artificial Intelligence a minimum 2:1 undergraduate degree (or equivalent) Excellent spoken and written