The Clinical PhD Research Fellowships are fixed term 3-year appointments offering training, mentoring and support to health professionals undertaking a…
Our paper, “Re-imagining the Isabelle Archive of Formal Proofs” (MacKenzie, Huch, Vaughan and Fleuriot), has been accepted at the 15th…
Our submission on “Building co-morbidity networks via Bayesian network reconstruction” (Romero Moreno, Restocchi and Fleuriot), based on ongoing work done…
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.
Applications are invited for a Research Associate in Formal Modelling for Health and Care in the School of Informatics, University…
📢 PhD with Integrated Study in Advanced Care 📅 Deadline: 26 Nov 2021 (rolling) 👉 Apply here An exciting opportunity…
Congratulations to Callum Abbott whose thesis “To Drain or Not to Drain? A Causal Investigation into the Efficacy of Subdural…
We are looking for an experienced researcher (Grade 8, salary £42,149-£50,296), with a PhD in Artificial Intelligence, machine learning or…
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…