63 software-formal-method-phd research jobs at University of Cambridge in United Kingdom
Sort by
Refine Your Search
-
desirable, as is experience of qualitative research methods. Good organisational and project management skills are also essential, as well as strong communication skills in both academic writing and wider
-
standard imaging analysis method including use of Python (NumPy/SciPy/PyTorch/Tensorflow), Matlab, C++, version control software (e.g. git), and statistical analysis using R, SQL, etc. Familiarity with
-
discovery process, leading to more economic and effective drugs that can significantly improve the health and lifestyle of millions. The resulting methods are also expected to have an impact in materials
-
allocation within the cell. We are particularly interested in understanding how phenotypic noise can be put under selective pressure. The role will involve developing novel theoretical methods to provide
-
the development of globally inclusive language technologies and to design transformative approaches to overcome them. Responsibilities of the post holders include the development of new methods for multilingual
-
in Cambridge. The mission statement of the group is "developing statistical methods to use genetic variation to answer clinically important questions about disease aetiology and prevention". The three
-
on priorities for current and future work. Contribute to writing bids to win research grants aligned with the group strategy. Provide guidance to other staff and students interested in integrating methods/results
-
and Primary Care and Medical Genetics. They will support and conduct analyses of complex datasets, involving both the development of novel analytical methods and the application of existing techniques
-
application of comprehensive polar metabolite analysis methods. Scientists are encouraged to apply if they have substantial practical experience in the development of comprehensive quantitative methods
-
replacement) project on Limits of Symmetric Computation. The position would suit a candidate seeking to obtain a PhD at the Department. The project seeks to investigate lower bounds on symmetric computation in