📢 PhD with Integrated Study in Advanced Care 📅 Deadline: 26 Nov 2021 (rolling) 👉 Apply here An exciting opportunity…
Our formalisation of Schutz’ Independent Axioms for Minkowski Spacetime is now available in Isabelle’s Archive of Formal Proof. More information…
The Luxembourg Fonds Nationals de Recherche (National Research Fund) has awarded an AFR to Richard Schmoetten to carry out his…
Applications are invited for 3 Research Associates in Machine Learning for Health, Network Science, Knowledge Representation and AI to work…
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.
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…
A fully-funded 4-year PhD position is available as part of the Academy of the Advanced Care Research Centre. This will…
Proter is an open-source discrete event simulation library for workflows, written in Scala. It is now available on GitHub and…
Welcome to Quratul-ain Mahesar, who will be working as a Research Associate of the Advanced Care Research Centre (ACRC). She…
Jorge Gaete successfully passed his second year PhD review on Explainable AI for healthcare. His panel consisted of Valerio Restocchi,…