Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- ;
- Cranfield University
- University of Oxford
- University of Newcastle
- University of Nottingham
- ; Cranfield University
- ; The University of Manchester
- ; Manchester Metropolitan University
- ; The University of Edinburgh
- ; University of Leeds
- ; University of Nottingham
- ; University of Reading
- ; University of Southampton
- ; University of Warwick
- Abertay University
- University of Cambridge
- University of Sheffield
- ; King's College London
- ; Swansea University
- ; University of Birmingham
- ; University of Bradford
- ; University of Greenwich
- ; University of Stirling
- ; University of Surrey
- Heriot Watt University
- Imperial College London
- UNIVERSITY OF VIENNA
- 17 more »
- « less
-
Field
-
highly motivated and independent individual to join an EPSRC research projectTRUSTED (SecuriTy SummaRies for SecUre SofTwarE Development) as a Research Associate or Research Assistant. The focus
-
we study, work, and think. Models such as ChatGPT have the potential to free individuals from the intricate and labour-intensive processes involved in writing and coding. Developing system software
-
the way we study, work, and think. Models such as ChatGPT have the potential to free individuals from the intricate and labour-intensive processes involved in writing and coding. Developing system software
-
diverse Formal Methods for maximizing software reliability while minimizing cost. Formal Methods (FMs) are mathematical techniques used to verify the correctness of software systems. While many powerful FMs
-
economic studies funded by the UK National Institute for Health and Care Research. Experience of conducting economic evaluations using suitable statistical software (e.g. STATA, R or SAS) is essential
-
several processing units with variable memory, can be profiled to pool the resources. The analytical systems, developed on data collected by onboard sensors and software triggers, can assist the operating
-
simulations to improve on existing power usage models. This research will be a key component of making computing more sustainable by providing novel insights into the energy usage of scientific software and
-
area, have extensive experience in conducting model-based economic evaluations using suitable statistical software (e.g. R or Python) and the ability to work independently, prioritise your own workload
-
area, have extensive experience in conducting model-based economic evaluations using suitable statistical software (e.g. R or Python) and the ability to work independently, prioritise own workload and
-
expands rapidly with new software, hardware, and AI-integrated vulnerabilities, introducing novel attack vectors. For instance, an untrusted OS attacking protected software (Software-on-software attack