48 software-formal-method-phd Fellowship positions at University of Birmingham in United Kingdom
Sort by
Refine Your Search
-
of promoting research excellence in Data Science methods and AI models while ensuring their principled and competent adoption across disciplines. Our approach is anchored in fostering an interdisciplinary and
-
, with opportunities to build an international research portfolio. The post holder will work on developing and testing study design and data analysis methods, particularly related to cluster randomised
-
and PhD students where appropriate to the discipline Contribute to developing new models, techniques and methods Undertake management/administration arising from research Contribute to Departmental
-
A Master’s degree in social research or a related discipline (or nearing completion of PhD) Demonstrable experience of qualitative research methods, including conducting interviews and/or focus groups
-
guidance to PhD students where appropriate to the discipline Contribute to developing new models, techniques and methods Undertake management/administration arising from research Contribute to Departmental
-
guidance to PhD students where appropriate to the discipline Contribute to developing new models, techniques and methods Undertake management/administration arising from research Contribute to Departmental
-
involves formalization in type theory and the mechanization of results using interactive theorem provers. The project welcomes a broad range of perspectives across functional-imperative programming
-
to Tackle Modern Slavery’, led by Dr Rowland Seymour. The successful candidate will join a diverse and friendly research group with PhD students and a Research Software Engineer. The goal of the project is to
-
annotation of these metabolomes using multistage fragmentation (MSⁿ) data, incorporating novel computational methods and strategies (e.g. spectral matching, network-based approaches, machine learning) where
-
for publication, research seminars etc Supervise students on research related work and provide guidance to PhD students where appropriate to the discipline Contribute to developing new models, techniques and