Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- ;
- University of Nottingham
- Cranfield University
- ; Manchester Metropolitan University
- ; The University of Edinburgh
- ; The University of Manchester
- ; University of Leeds
- ; University of Southampton
- ; University of Warwick
- Swansea University
- University of Cambridge
- University of Oxford
- University of Sheffield
- ; CRUK Scotland Institute
- ; Cranfield University
- ; Ecole polytechnique federale de Lausanne - EPFL
- ; Loughborough University
- ; UWE, Bristol
- ; University of Birmingham
- ; University of Hertfordshire
- ; University of Nottingham
- AALTO UNIVERSITY
- Newcastle University
- Ulster University
- 14 more »
- « less
-
Field
-
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
-
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
-
that have been developed in-house based on the OSIRIS Particle-In-Cell simulation software. The code needs to be verified and further developed with user cases against experimentally gathered data sets
-
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
-
engineering and can demonstrate through other projects or experiences knowledge across the disciplines of electronics, software development and/or RF communication. An interest in rocketry and/or prior
-
modelling and simulation techniques and software packages would be an advantage. Programming skills in languages such as Python, C++, MATLAB, are desirable, as is an awareness of machine learning or other AI
-
infrastructure. For reduced (CapEx) costs, greater flexibility and faster evolution, mobile core/radio network functions today are largely realised in software over commodity computing hardware in private/public
-
atomic physicist and quantum sensor developer, Dr Anna Kowalczyk, and a developmental neuroscientist, Dr Barbara Pomiechowska, at Birmingham BabyLab, in collaboration with an industrial partner, FieldLine
-
using force plates and strain gauges. Use of statistical analysis software packages. Funding Eligibility: This studentship is only available to students with settled status in the UK, as classified by
-
plates and strain gauges. Use of statistical analysis software packages. Funding Eligibility: This studentship is only available to students with settled status in the UK, as classified by EPSRC