Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- ;
- Cranfield University
- University of Nottingham
- ; University of Birmingham
- Harper Adams University
- ; Swansea University
- University of Cambridge
- ; The University of Manchester
- ; The University of Edinburgh
- ; University of Nottingham
- University of Newcastle
- ; University of Exeter
- ; City St George’s, University of London
- ; Cranfield University
- ; Edge Hill University
- ; University of Southampton
- Abertay University
- KINGS COLLEGE LONDON
- ; King's College London
- ; Manchester Metropolitan University
- ; UWE, Bristol
- ; University of Cambridge
- ; University of Leeds
- ; University of Warwick
- Heriot Watt University
- Imperial College London
- THE HONG KONG POLYTECHNIC UNIVERSITY
- The University of Manchester
- UNIVERSITY OF VIENNA
- University of Liverpool
- University of Oxford
- University of Sheffield
- ; Lancaster University
- ; St George's, University of London
- ; University of East Anglia
- ; University of Greenwich
- ; University of Hertfordshire
- ; University of Hull
- ; University of Plymouth
- ; University of Sheffield
- ; University of Stirling
- ; University of Sussex
- AALTO UNIVERSITY
- Heriot-Watt University;
- Manchester Metropolitan University
- The University of Manchester;
- UCL
- UNIVERSITY OF MELBOURNE
- University of Birmingham
- University of Bristol
- University of Hertfordshire
- University of London
- University of Warwick
- 43 more »
- « less
-
Field
-
investigation will be zero-knowledge succint non-interactive argument of knowledge-- ZkSNARK. Subsequently, we will formalise the front-end (R1CS) and back-end (Groth16) of ZkSNARK in the Coq theorem prover and
-
providing a structured, semantic framework that enhances knowledge sharing and data reuse across different platforms and systems. Project Aim This PhD will develop an ontology-based methodology to improve
-
verification of resilient state estimators for the eVTOL and HESS. Essential and Desirable Criteria - Background: control/mechanical/electrical engineering, physics or computer science - Essential knowledge
-
experimental psychology and cognitive science to augment human intelligence with AI. Your experience and ambitions eligible for PhD study at Aalto University (https://into.aalto.fi/display/endoctoralsci/How
-
processing, or optimisation to turn heterogeneous knowledge (channel/network state, maps and topology, mobility, hardware constraints, and task-level KPIs) into reliable and efficient decisions. The work spans
-
solutions, focusing on integrity assurance for safety-critical applications. It addresses the growing need for cognitive navigation systems that are able to operate reliably with a diversity of dedicated
-
to compensate for such aberrations, significantly enhancing image quality. Adaptive requires knowledge of the wavefront to be corrected. Our team has been developing a machine-learning approach to wavefront
-
used in wind turbine blades, structural engineering exposed to offshore environments. However, the rapid growth of the wind turbine industry is expected to generate million tons of blade waste globally
-
in genotyping, molecular biology and Drosophila work. CDN has close partnership with the Medical Research Council (MRC) and CDN researchers, together with clinical researchers from King’s, make up
-
degree. A good knowledge and/or experience in chemical experimental techniques is essential, as is the ability to work well in a team. Prior experience in the areas of computational chemistry or analytical