Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Cranfield University
- ;
- University of Nottingham
- University of Cambridge
- University of Newcastle
- ; University of Birmingham
- Harper Adams University
- ; Swansea University
- ; The University of Manchester
- ; The University of Edinburgh
- ; University of Nottingham
- ; City St George’s, University of London
- ; Cranfield University
- ; University of Exeter
- ; 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 Edinburgh
- The University of Manchester
- UNIVERSITY OF VIENNA
- University of Bristol
- University of Liverpool
- University of Oxford
- University of Sheffield
- ; Edge Hill University
- ; 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 Sussex
- AALTO UNIVERSITY
- Heriot-Watt University;
- King's College London
- Kingston University
- Lancaster University
- Manchester Metropolitan University
- The University of Manchester;
- UCL
- UNIVERSITY OF MELBOURNE
- University of Birmingham
- University of Cambridge;
- University of Hertfordshire
- University of London
- University of Strathclyde;
- University of Warwick
- 48 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
-
University is recognised for its world-class research, knowledge exchange and educational programmes. At the heart of this is the Faculty of Engineering, which boasts a growing research portfolio of nearly
-
communication skills with the ability to work collaboratively. Ideally, the candidate will have a strong background in molecular biology and/or biochemistry. A good knowledge of genomics and the chemistry
-
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
-
interest in expanding their knowledge in both domains. (1) Geometry/Topology -related methods in computer science. (2) Machine Learning. (For example, graph neural networks, generative networks, or neural
-
degree in a relevant subject (physics, mathematics, engineering, computer science, or related subject) Proficiency in English (both oral and written). Knowledge in cryptography is desirable. Studentship
-
supports European Engineering & Consultancy Ltd. strategic roadmap in the development of a miniature microwave-based RF communication system. A key technology is the crystal oscillator, which is sensitive
-
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
-
, mathematics, engineering, computer science, or related subject) Proficiency in English (both oral and written). Knowledge in cryptography is desirable. Studentship and eligibility This studentship is suitable