Applications are invited for a 2-year postdoctoral research position in Neurosymbolic Artificial Intelligence. More information available is here.
The Edinburgh Laboratory for Integrated Artificial Intelligence (ELIAI) will fund a new project on integrating theorem proving and neural learning…
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…