Sort by
Refine Your Search
-
Category
-
Country
-
Program
-
Field
- Computer Science
- Economics
- Engineering
- Medical Sciences
- Biology
- Science
- Materials Science
- Linguistics
- Chemistry
- Business
- Humanities
- Mathematics
- Physics
- Sports and Recreation
- Arts and Literature
- Education
- Electrical Engineering
- Psychology
- Design
- Earth Sciences
- Environment
- Philosophy
- Social Sciences
- 13 more »
- « less
-
conduct world-class applied research. We change and make a difference. Do you want to become one of us? TheDepartment of Computer Science (DIDA) is one of two departments in the Faculty of Computing. It is
-
integrated into the SA3 code of the TUAREG group for single-layer and multilayer atmospheric systems, with the introduction of perturbations for the simulation of different atmospheric phenomena and adapted
-
conduct world-class applied research. We change and make a difference. Do you want to become one of us? The Department of Computer Science (DIDA) is one of two departments in the Faculty of Computing. It
-
, including digital and analogue games, interactive stories, database narratives and interactive installations. Different modes of interactivity are studied through examples and discussion of theories
-
security guarantees. In parallel, we will investigate how modern AI techniques can accelerate large-scale formal verification, developing AI proof agents that can maintain, extend and refactor the seL4 proof
-
these different regimes in a unified approach. Specifically, the Research Fellow will use embedding schemes developed by the team members in Belfast and Toulouse to study photon irradiation of nucleobases and
-
management, parallel computing, and performance optimization while helping evaluate and introduce emerging technologies that advance mission capabilities. You will work alongside a multidisciplinary team of
-
of legal disciplines in a friendly, supportive environment and, together with the Head of Legal Services, help shape the Legal Services function to make a real difference in a ground-breaking
-
fashion to signal different types of error and uncertainty. This signal enables appropriate updating of memories stored in the hippocampus providing realistic expectations on which to base decision making
-
in an integrated fashion to signal different types of error and uncertainty. This signal enables appropriate updating of memories stored in the hippocampus providing realistic expectations on which