109 software-verification-computer-science-"Prof" PhD research jobs in United Kingdom
Sort by
Refine Your Search
-
Listed
-
Employer
- ;
- University of Cambridge
- University of Oxford
- Imperial College London
- University of Liverpool
- University of Newcastle
- AALTO UNIVERSITY
- University of Sheffield
- Brunel University
- Heriot Watt University
- THE HONG KONG POLYTECHNIC UNIVERSITY
- ; London School of Economics and Political Science
- ; University of Cambridge
- ; University of Southern Denmark
- Aston University
- Durham University
- KINGS COLLEGE LONDON
- UNIVERSITY OF SOUTHAMPTON
- UNIVERSITY OF SURREY
- University of Leicester
- University of Nottingham
- 11 more »
- « less
-
Field
-
Biology, Physics, Applied Mathematics, Computer Science, Bioengineering, Systems Biology or a related field. Proficiency in modelling using differential equations is required. Candidates must have
-
Biology, Physics, Applied Mathematics, Computer Science, Bioengineering, Systems Biology or a related field. Proficiency in modelling using differential equations is required. Candidates must have
-
, etc The Person Knowledge, Skills and Experience Essential Proven expertise in the areas of security, formal methods, program analysis and software engineering Experienced in programming and tool
-
the Department of Computer Science and Technology at the University of Cambridge. The position will be for 12 months from the 2nd February 2026 in the first instance. Project research topics must fall under
-
• Strong interest in interdisciplinary research Qualifications Research Assistant • Honours degree in (Biology, Neuroscience, Computer Science, Engineering, Mathematics, or related area) In addition
-
software) and data analysis, and a keen interest in the intersection between environmental sustainability, computing, and science. They should have an ability to communicate and present results to other
-
, and have experience of using statistical software (e.g. Stata, R), coupled with the ability to produce high quality health economics research relevant to the health sciences. The post is available part
-
The Biomedical Image Analysis Group, led by Prof Ben Glocker, in the Department of Computing at Imperial College London is seeking a talented Research Assistant / Associate to take a key role in an
-
holder would join the lab of Prof Vladimir Jiranek (Prof V Jiranek | Uni Soton ), and have the opportunity to interact with several PhD students working on related topics in the context of a diverse and
-
includes projects in biomedical instrumentation, experimental hardware automation and programming, and computational science. Scientific publications in a relevant area are considered a significant benefit