187 software-formal-method-phd positions at University of Birmingham in United Kingdom
Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
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
-
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
-
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
-
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
-
on research related work and provide guidance to PhD students where appropriate to the discipline Contribute to developing new models, techniques and methods Undertake management/administration arising from
-
research findings by helping to write publications, present at conferences and regular team meetings Supervise students on research related work and provide guidance to PhD students where appropriate
-
, with opportunities to build an international research portfolio. The postholder will work on developing and testing study design and data analysis methods, particularly related to cluster randomised
-
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
-
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