Sort by
Refine Your Search
-
Category
-
Employer
- Cranfield University
- ;
- ; The University of Edinburgh
- University of Nottingham
- UNIVERSITY OF VIENNA
- ; Cranfield University
- Imperial College London
- University of Cambridge
- University of Exeter
- University of Newcastle
- University of Oxford
- ; Swansea University
- ; University of Southampton
- Abertay University
- Heriot Watt University
- University of Liverpool
- University of Sheffield
- ; Loughborough University
- ; Newcastle University
- ; The University of Manchester
- ; University of Bristol
- ; University of Cambridge
- ; University of Greenwich
- ; University of Leeds
- ; University of Nottingham
- ; University of Stirling
- KINGS COLLEGE LONDON
- University of Bristol
- University of Glasgow
- University of Greenwich
- 20 more »
- « less
-
Field
-
verification methodology and corresponding toolchain to detect and mitigate such threats to CPS at the design time making the CPS resilient-by-design. Typically, CPS are modelled as hybrid systems, comprising
-
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
-
will then embark on coming up with a suitable design for a generic economic model and construct the model using their software of choice. This new generic model can then be demonstrated by using data
-
Fixed-term: The funds for this post are available for 1 year. Applications are invited for a Research Associate (Postdoc) to join the Prorok Lab in the Department of Computer Science and Technology
-
Upper Second Class honours degree (or equivalent) in engineering, software development, or another quantitative-focused discipline. Ideal candidates will be analytical, self-motivated, and interested in
-
to office, lab space, and specialist software Opportunities to attend international conferences (e.g., USA) Involvement in Cranfield’s Doctoral Network, providing training and networking across disciplines
-
Liverpool where, in the School of Computer Science and Informatics, we have an active group of PhD students, postdocs, and academics working at the intersection of Machine Learning, Verification and
-
Computational verification of high-speed multi-material flows, where physical experimentation is highly limited, is seen as critical by the defence Sector (source: the UK Atomic Weapons
-
abilities for power electronics systems and proficiency in PCB design and implementation. Moreover, experience with finite element software, such as Ansys Maxwell or Q3D, and hands-on experience would be
-
will then embark on coming up with a suitable design for a generic economic model and construct the model using their software of choice. This new generic model can then be demonstrated by using data