Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- ;
- University of Sheffield
- University of Oxford
- Cranfield University
- University of Cambridge
- UNIVERSITY OF SOUTHAMPTON
- University of Birmingham
- University of Nottingham
- KINGS COLLEGE LONDON
- UNIVERSITY OF VIENNA
- University of Bristol
- University of Glasgow
- ; The University of Manchester
- DURHAM UNIVERSITY
- Durham University
- Imperial College London
- King's College London
- Nottingham Trent University
- University of Manchester
- AALTO UNIVERSITY
- Heriot Watt University
- UNIVERSITY OF SURREY
- University of Newcastle
- ; Manchester Metropolitan University
- ; Newcastle University
- ; University of Birmingham
- ; University of Leeds
- ; University of Nottingham
- ; University of Surrey
- ; University of Warwick
- Aston University
- Birmingham City University
- City University London
- Lancaster University
- Loughborough University
- Manchester Metropolitan University
- Nature Careers
- Ulster University
- University of Bath
- University of Leicester
- University of Surrey
- Wenzhou Business College
- ; Anglia Ruskin University
- ; Aston University
- ; Cranfield University
- ; Imperial College London
- ; UWE, Bristol
- ; University of Bristol
- ; University of Essex
- ; University of Oxford
- ; University of Southampton
- ; University of York
- Arden University
- Cardiff University
- Glyndwr University
- Kingston University
- Medical Research Council
- Newcastle University
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- Swansea University
- The University of Southampton
- University of Liverpool
- University of London
- University of Northampton
- University of West London
- University of Winchester
- University of the West of England
- 57 more »
- « less
-
Field
-
Automated Verification theme in the Department of Computer Science and a research group with responsibility for carrying out research on the robustness (continuity) of equivalences in probabilistic systems
-
Stefan Kiefer. The post holder will be a member of a project team of Automated Verification theme in the Department of Computer Science and a research group with responsibility for carrying out research
-
an extensive array of resources: UAVs for communication protocol, edge computing and control algorithm development; THz transceivers for high-frequency communication channel measurement and sensing; Real-Time
-
grant, have worked to identify the sampling algorithm used by the brain, to show how the identified sampling algorithm can systematically generate classic probabilistic reasoning errors in individuals
-
developing new methods and techniques that will improve standard ML algorithms so as to achieve good performance outside their training distribution, by treating high-dimensional problems as an explicit
-
, programming languages, data structures and algorithms, operating systems, network security, visualization, and human-computer interaction, as well as participate in the full range of faculty responsibilities
-
. Key Accountabilities • Design and develop embedded AI algorithms for appliance profiling using smart meter data • Benchmark performance against state-of-the-art NILM approaches using datasets like
-
lab. Key Responsibilities Main Duties: Develop teleoperation interface with a robotic manipulator to facilitate human-robot interaction in remote handling. Design robot impedance control algorithms
-
study team to help curate high-quality data. The postholders will help support data analysis tasks and work on computational algorithms to help streamline data annotation. Image computing activities
-
This PhD project aims to advance Safe and Sustainable by Design (SSbD) pharmaceutical manufacturing by integrating cutting-edge methodologies, including computer-assisted retrosynthesis, end-to-end