Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
with the ARIA Safeguarded AI programme project “Data-Parallel Proof Checking for Monoidal Theories”, led by Professor Fabio Zanasi within the Programming Principles, Logic and Verification (PPLV
-
for Advanced Research Computing (ARC) is UCL’s institute for infrastructure and innovation in digital research. We are an innovative hybrid: a professional services department that delivers reliable
-
of Curriculum, Pedagogy and Assessment is a world-leading centre for business, citizenship, computing, economics, geography, history, mathematics, religious education, science and social sciences
-
ability and enthusiasm to acquire new skills across the ML-Ops and Bioinformatics fields. We expect good software development skills in a least one language regularly used in scientific computing (i.e
-
medical science spanning digital healthcare, computing and data science, biomedical engineering or a related field. Extensive knowledge in development and application of AI/machine learning for
-
of Curriculum, Pedagogy and Assessment is a world-leading centre for business, citizenship, computing, economics, geography, history, mathematics, religious education, science and social sciences