25th June 2022 / news
New Archive of Formal Proof Website
A new website for the Archive of Formal Proofs based on the work of Carlin MacKenzie, James Vaughan and Jacques Fleuriot has just been launched.
Read More
2nd March 2022
Job Opportunity: Research Associate in Machine Learning for Health and Medicine
Applications are invited for a Postdoctoral Research Associate in machine learning for health and medicine in the School of Informatics,...
Read More
Job opportunity: Research Associate in Formal Modelling for Health and Care
Applications are invited for a Research Associate in Formal Modelling for Health and Care in the School of Informatics, University...
Read More
Fully Funded PhD: Monitoring daily living to predict health outcomes
📢 PhD with Integrated Study in Advanced Care 📅 Deadline: 26 Nov 2021 (rolling) 👉 Apply here An exciting opportunity...
Read More
20th October 2021 / news
Callum Abbott’s MSc thesis comes top of MSc in Statistics with Data Science
Congratulations to Callum Abbott whose thesis "To Drain or Not to Drain? A Causal Investigation into the Efficacy of Subdural...
Read More
Programme Co-ordinator post available on Artificial Intelligence for Multiple Long-Term Conditions Programme
We are looking for an experienced researcher (Grade 8, salary £42,149-£50,296), with a PhD in Artificial Intelligence, machine learning or...
Read More
11th September 2021 / news
Mechanisation of Minkowski Spacetime released on the Archive of Formal Proof
Our formalisation of Schutz' Independent Axioms for Minkowski Spacetime is now available in Isabelle's Archive of Formal Proof. More information...
Read More
27th August 2021 / news
Richard Schmoetten recipient of AFR Grant for his PhD
The Luxembourg Fonds Nationals de Recherche (National Research Fund) has awarded an AFR to Richard Schmoetten to carry out his...
Read More
Three postdoctoral Research Associate posts available in Artificial Intelligence for Multiple Long-Term Conditions Programme
Applications are invited for 3 Research Associates in Machine Learning for Health, Network Science, Knowledge Representation and AI to work...
Read More
17th June 2021 / news
Our proposal on AI and Multimorbidity: Clustering in Individuals, Space and Clinical Context (AIM-CISC) receives funding from the NIHR!
The National Institute for Health Research (NIHR) will be funding our proposal on Artificial Intelligence and Multimorbidity: Clustering in Individuals, Space and Clinical Context (AIM-CISC). The project, worth £3.9M over 3-years, will employ around 10 postdoctoral researchers across Informatics, the Usher Institute, the Roslin Institute, GeoSciences and SSPS.
Read More