-
. This role will contribute to a major EPSRC-funded programme aiming to transform community-based screening and diagnosis by leveraging routine eye checks as a gateway to early detection of conditions such as
-
of the correctness of software and hardware systems using machine learning. Recent advances in neural certificates—such as neural model checking and neural termination analysis—have shown promising results in
-
administrative tasks related directly to the delivery of the research Promotes equality and values diversity acting as a role model and fostering an inclusive working culture Assist in writing papers for high
-
students where appropriate to the discipline Contribute to developing new models, techniques and methods Undertake management/administration arising from research Contribute to Departmental/School research
-
models, techniques and methods Undertake management/administration arising from research Contribute to Departmental/School research-related activities and research-related administration Contribute