16 software-formal-method-phd Postdoctoral research jobs at University of Cambridge in United Kingdom
Sort by
Refine Your Search
-
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
-
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
-
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
-
modelling to study the causes and consequences of extreme chromosomal instability in these cancers. The role will involve: - Learning and applying cytogenetic methods for generation and analysis of chromosome
-
Applications are invited for a Research Associate position in the group of Dr Alexander Jones at the Sainsbury Laboratory, Cambridge University. Applicants must have or be close to obtaining a PhD
-
to develop and improve current simulation methods (quantum and classical) to study such systems. The overarching aim of the post-doctoral position is to develop and apply computational approaches that enable
-
techniques. Analyse experimental data using statistical tools and computational methods. Collaboration & Mentorship: Collaborate with interdisciplinary teams of researchers and students. Mentor graduate and
-
on having a PhD. Those who have submitted but not yet received their PhD will be appointed at Research Assistant level, which will be amended to Research Associate once the PhD has been awarded. The funds
-
the development and building of a new apparatus for the continuous production of NaPF6 (the key electrolyte in sodium-ion batteries). Candidates must have (or be about to obtain) a PhD in inorganic chemistry and
-
robots. They will be working with a team composed of PhD students, Research Assistants and Postdocs that is developing novel multi-robot architectures for practical, real-world settings. Current solutions