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
4th May 2021 / news
Re-designed website for the Archive of Formal Proof is live
An unofficial, re-designed website for Isabelle's Archive of Formal Proofs (AFP) is now live at: http://afp.theoremproving.org This was designed and...
Read More
17th April 2021 / news
Fully Funded PhD Studentship: Building explainable user models of older adults from data
A fully-funded 4-year PhD position is available as part of the Academy of the Advanced Care Research Centre. This will...
Read More
4th April 2021 / news
Proter open source software released
Proter is an open-source discrete event simulation library for workflows, written in Scala. It is now available on GitHub and...
Read More
7th March 2021 / news
Jorge Gaete passes his second year PhD review
Jorge Gaete successfully passed his second year PhD review on Explainable AI for healthcare. His panel consisted of Valerio Restocchi,...
Read More
Petros Papapanagiotou presents our HICSS-54 paper
Video presentation of our paper: Papapanagiotou P., Vaughan J., Smola F, and Fleuriot J. (2020). A Real-world Case Study of...
Read More