Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- ;
- University of Oxford
- ; The University of Edinburgh
- Arden University
- Cranfield University
- University of Birmingham
- University of Sheffield
- Durham University
- Cardiff University
- KINGS COLLEGE LONDON
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- The University of Edinburgh;
- University of Cambridge
- University of Glasgow
- University of Manchester
- VIETNAMESE-GERMAN UNIVERSITY
- ; Loughborough University
- ; Swansea University
- ; University of Bristol
- ; University of Cambridge
- Heriot Watt University
- Imperial College London
- Lancaster University
- Lancaster University;
- QUEENS UNIVERSITY BELFAST
- UNIVERSITY OF SURREY
- University of Greenwich
- University of Liverpool
- University of Northampton
- University of Surrey
- University of Warwick;
- 21 more »
- « less
-
Field
-
We are seeking a dedicated and proactive Project Executive to oversee and execute key operational and project-related activities. This role requires expertise in food technology and manufacturing
-
complement our existing strengths in cryptography and formal verification. This post will support the growing cohort of students across all undergraduate Computer Science programmes and students in the highly
-
complement our existing strengths in cryptography and formal verification. This post will support the growing cohort of students across all undergraduate Computer Science programmes and students in the highly
-
deepfake technology. As part of this team, we are seeking either a Research Fellow to lead; or a Senior Research Associate to contribute to leading: the development of a forensically assured verification
-
and will be jointly supervised by: Dr Dominik Leichtle, School of Informatics, University of Edinburgh Dr Elham Kashefi, School of Informatics, University of Edinburgh Dr Ivan Rungger, National Physics
-
, Galois, Defence Science and Technology (DST) and the Universities of Amsterdam, Augsburg, Melbourne and Oldenburg. The post will be based in Sheffield working at Sheffield’s School of Computer Science
-
. Teaching Responsibilities In the role of a lecturer, the successful candidate will teach graduate courses in MCS and undergraduate courses in the Computer Science (CSE) bachelor program. The expected
-
developing a novel approach to proving refinement propositions using a combination of LLMs and state-of-the-art theorem provers. Developments in this area have the potential to advance software verification
-
deepfake technology. As part of this team, we are seeking either a Research Fellow to lead; or a Senior Research Associate to contribute to leading: the development of a forensically assured verification
-
the essential criteria for the post, which includes: Have or be about to obtain a PhD in computer science, engineering, mathematics or physical sciences area. Recent high quality research experience in