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
- 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
- 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
-
for the company, which will open new markets and opportunities. This PhD covers a wide range of skills and so it is essential the candidate has a 1st degree in electrical engineering or equivalent experience
-
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
-
This 3.5-year PhD studentship is open to Home (UK) applicants. The successful candidate will receive an annual tax-free stipend set at the UKRI rate (£20,780 for 2025/26; subject to annual uplift
-
, 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
-
MEng degree (or equivalent) and a PhD in Maritime Engineering and Technology or pertinent disciplines (Res Assistant if no PhD), adequate knowledge of modelling marine engines operations with alternative
-
applying to the Computer Science PhD programme, supervised by Dr Ashley Fraser. For your application, you will need: Two-page CV with names and contact details of two referees (one must be academic). In
-
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
-
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