183 software-formal-method-phd positions at University of Birmingham in United Kingdom
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
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
-
required. Knowledge of statistical modelling and Bayesian methods. Knowledge of statistical software, particularly R. Strong statistical programming skills. Understanding of clinical trials. An ability
-
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
-
research activities to develop new ideas, directions, research objectives, techniques and methods in order to advance the group’s research and enhance its quality Play a role in setting the group culture and
-
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
-
other regular progress reports, to internal management and to external funders. This will include liaising with any funders to ensure that the DTPs have delivered any formal reporting and ensure contract
-
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