Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- Ellison Institute of Technology
- University of Nottingham
- UNIVERSITY OF MELBOURNE
- King's College London
- QUEENS UNIVERSITY BELFAST
- University of Manchester
- University of Sheffield
- Queen's University Belfast
- Kingston University
- Plymouth University
- Sheffield Hallam University;
- UCL;
- UNIVERSITY OF SOUTHAMPTON
- University of Birmingham
- University of Oxford
- University of Oxford;
- ;
- Durham University
- Heilbronn Institute for Mathematical Research
- Lancaster University
- Lancaster University;
- MACQUARIE UNIVERSITY - SYDNEY AUSTRALIA
- Northumbria University;
- Nottingham Trent University
- Queen's University Belfast;
- SOAS University of London
- The University of Manchester;
- UCL
- UNIVERSITY OF SURREY
- University College London
- University College London (UCL)
- University for the Creative Arts
- University of Bath
- University of Bristol
- University of Cambridge
- University of Glasgow
- University of Greenwich
- University of Greenwich;
- University of Hull;
- University of Leicester
- University of Leicester;
- University of Liverpool
- University of Liverpool;
- University of Salford;
- University of Sheffield;
- University of Surrey
- York St John University
- 38 more »
- « less
-
Field
-
-flow security, program logics and neurosymbolic AI. The project is exceptionally well-resourced, including substantial funding for access to state-of-the-art AI models and computing infrastructure. We
-
processes, control systems, communication networks and cyberattacks. The Research Fellow will contribute to the development of mathematical and computational methods for safety verification, reachability
-
The University of Nottingham Ningbo China’s School of Computer Science is seeking to recruit a Research Fellow (in Computer Science; outsourced). About the Role: In this position, you will play a
-
, information-flow security, program logics, and neurosymbolic AI. The project is exceptionally well resourced, including substantial funding for access to state-of-the-art AI models and computing infrastructure
-
, information-flow security, program logics, and neurosymbolic AI. The project is exceptionally well resourced, including substantial funding for access to state-of-the-art AI models and computing infrastructure
-
individually, make a real difference. The role We are looking to recruit two Senior Research Associates at the University of Surrey for a new project on formal verification, seL4 security and AI-assisted theorem
-
training to staff to enhance their knowledge and skills in securing external funding. Reporting to the Research & Knowledge Exchange Manager and working collaboratively within the team, the RKE Funding Lead
-
processes, control systems, communication networks and cyberattacks. The Research Fellow will contribute to the development of mathematical and computational methods for safety verification, reachability
-
to undertake complementary, ambitious two-year research projects in Statistical Ocean Acoustics. The programme will develop a deeper understanding of how spatial and temporal variability, coherence and
-
with an international reputation for excellence. The Department has a substantial research programme, with major funding from Medical Research Council (MRC), Wellcome Trust and National Institute