Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- ;
- Cranfield University
- University of Nottingham
- ; The University of Manchester
- ; Swansea University
- ; University of Southampton
- Abertay University
- University of Cambridge
- ; Loughborough University
- ; Manchester Metropolitan University
- ; Technical University of Denmark
- ; The University of Edinburgh
- ; University of Leeds
- ; University of Nottingham
- ; University of Reading
- ; University of Warwick
- University of Oxford
- University of Sheffield
- ; Cranfield University
- ; Ecole polytechnique federale de Lausanne - EPFL
- ; Queen Mary University of London
- ; UWE, Bristol
- ; University of Birmingham
- ; University of Bradford
- ; University of Bristol
- ; University of Greenwich
- ; University of Hertfordshire
- ; University of Oxford
- ; University of Surrey
- AALTO UNIVERSITY
- CZECH UNIVERSITY OF LIFE SCIENCES
- Swansea University
- UNIVERSITY OF VIENNA
- Ulster University
- University of East London
- 25 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
-
instruments and use them together with graduate students and postdocs to acquire data on DNA replication and/or chromatin organization. An aptitude in instrumentation development and quantitative biophysics, a
-
of quantum theory and quantum particle statistics, exploring quantum phenomena at macroscopic scales, and advancing quantum verification theory. Our team is part of the Quantum Optics, Quantum Nanophysics, and
-
Location: South Kensington About the role: Applications are invited for a fully funded fixed-term at the Research Assistant / Associate (PostDoc) level in next-generation contrail modelling
-
PhD Studentship: Experimental Investigation of Pharmaceutical Tablet Disintegration and Drug Release
research team, including postdocs and fellow PhD students, to conduct hands-on experiments such as: Formulating and manufacturing tablets with different structures. Using cutting-edge imaging (X-ray
-
software. The TELOS collaboration, co-led by researchers at Swansea University and The University of Edinburgh, and with links in other Institutions in the United Kingdom, Taiwan, Korea, Austria and Japan
-
, lack of transparency, safety assurance, and sustainability. You will work at the forefront of AI research, exploring formal and dynamic verification methods, explainable AI, and data space integration
-
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
-
research will focus on the design of this network as it evolves, and verification of its performance, or specific aspects of it. It will involve, as one component of the research, developing the Claims