Sort by
Refine Your Search
-
Listed
-
Employer
- ;
- University of Birmingham
- UNIVERSITY OF SOUTHAMPTON
- UNIVERSITY OF SURREY
- CRANFIELD UNIVERSITY
- QUEENS UNIVERSITY BELFAST
- University of Bristol
- University of Surrey
- Cranfield University
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- The University of Southampton
- University of Leeds
- University of Nottingham
- University of Oxford
- University of the West of England
- 5 more »
- « less
-
Field
-
Search over Personal Repositories - Secure and Sovereign”). The post is based at the School of Electronics and Computer Science, Southampton. The project is researching, developing and evaluating
-
model checkers; proofs of safety and/or security properties; programming languages and/or type systems; concurrent and/or distributed algorithms; and related topics. The successful applicant will work in
-
, to develop a novel end-to-end neuromorphic design approach based on spiking neural networks (SNNs). The project aims to develop novel computing solutions for the defence and security sector, that can
-
, operations research, and management science, developing rigorous and practical methods for algorithmic risk assessment. You will become part of the broader AI2 collaboration, involving leading researchers from
-
, to develop a novel end-to-end neuromorphic design approach based on spiking neural networks (SNNs). The project aims to develop novel computing solutions for the defence and security sector, that can
-
://oceanerc.com ). This timely project will develop statistical and algorithmic foundations for systems involving multiple incentive-driven learning and decision-making agents, including uncertainty quantification
-
. In this role, you will be part of the research team, working to develop and evaluate privacy-preserved Generative AI algorithms for generating synthetic Personal Identity Information (PII). This aims
-
Dowling Fellowship postdoctoral researcher, co-supervised by Professor Tom Gur and Dr Prakash Murali in the areas of quantum algorithms and complexity, quantum error correction, and quantum architecture
-
compressible mixing, such as supersonic reacting flows relevant to high speed combustion problems and external aerodynamics. We expect that both the developed algorithms and the fundamental physics discovered
-
Complexity of Graph Algorithms (GraphCom)”. The post is based within the Theory of Computation group of the School of Computer Science at The University of Birmingham, under the supervision of Dr. Sagnik