Sort by
Refine Your Search
-
Listed
-
Program
-
Employer
- Heriot Watt University
- University of Birmingham;
- University of Sheffield
- AALTO UNIVERSITY
- MOHAMED BIN ZAYED UNIVERSITY OF ARTIFICIAL INTELLIGENCE
- Queen's University Belfast
- Swansea University
- UNIVERSITY OF SURREY
- University of Birmingham
- University of Cambridge;
- University of Glasgow
- University of Manchester
- University of Oxford
- University of Sheffield;
- University of Surrey
- 5 more »
- « less
-
Field
-
-checked 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
-
Science or equivalent Working knowledge of Matlab/Python or equivalent. Experience with programming microcontrollers and with machine learning/AI is a plus. Being familiar with laser powder bed fusion
-
James Cotton, Dr Elizabeth Thiele (Vassar College, NY, USA) and other members of the Guinea worm eradication program at The Carter Center. The successful candidate will assist with developing appropriate
-
empirical evidence. The project runs for 33 months and comprises three research components operating in parallel, each led by a postdoctoral researcher and integrated through monthly team meetings and
-
empirical evidence. The project runs for 33 months and comprises three research components operating in parallel, each led by a postdoctoral researcher and integrated through monthly team meetings and
-
/scientific computing and numerical methods for PDEs High‑performance computing (parallel distributed programming, GPU programming) Astrophysical fluid dynamics and/or magnetohydrodynamics Radiative transfer in
-
Investigator: Dr Abhishek Banerjee) to lead a research programme examining how the brain supports flexible behaviour in both mice and humans. The project centres on two complementary experimental streams. In
-
. The successful applicant will be employed to work on the BEAMS trial which is a multicentre two-arm parallel randomised controlled trial with internal pilot that seeks to assess the clinical and cost-effectiveness
-
practices, and opportunities to contribute to software used across multiple institutions. Applicants should demonstrate experience in parallel programming (MPI/OpenMP), alongside strong Fortran or C