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
- University of Newcastle
- AALTO UNIVERSITY
- Imperial College London
- University of Liverpool
- University of Sheffield
- ; University of Cambridge
- Brunel University
- Heriot Watt University
- THE HONG KONG POLYTECHNIC UNIVERSITY
- ; London School of Economics and Political Science
- ; Technical University of 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
-
• 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
-
-level degree in Mathematics or Computer Science with an orientation towards Theoretical Computer Science. A strong background in logic and complexity theory is highly desirable and the candidate must
-
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
-
a number of health and wellbeing initiatives to support you. Closing Date: 30 July 2025 As part of the SAFELUX project, we are leading a transnational programme of research funded by the Conference