Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Villanova University
- Nanyang Technological University
- University of Oslo
- University of Sheffield
- ;
- Harvard University
- NTNU Norwegian University of Science and Technology
- National University of Singapore
- Queen's University Belfast
- Technical University of Munich
- The University of Texas MD Anderson Cancer Center
- Universidade do Minho
- University of Birmingham
- University of Birmingham;
- University of Sheffield;
- University of South-Eastern Norway
- Western Norway University of Applied Sciences
- 7 more »
- « less
-
Field
-
grow’. We welcome you to join our community of faculty, students and alumni who are shaping the future of AI, Data Science and Computing. We are seeking a motivated Research Fellow to join the Parallel
-
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
-
or equivalent in physics or other cognate area of relevance to the post. Hold or about to obtain a PhD in a relevant area (e.g. Physics). Significant relevant experience in the in the following areas: The theory
-
information on changes in core temperature and the influence of relevant physiological variables during exposure to varying thermal environments. The Research Fellow will collaborate closely with a parallel PhD
-
is situated in the Intellectual Disabilities Research Institute (IDRIS). The successful applicant will be employed to work on the BEAMS trial which is a multicentre two-arm parallel randomised
-
22nd October 2026 Languages English English English Dennard scaling has ended and Moore's law is slowing down. What if we could do more with fewer devices by moving beyond binary? This PhD offers
-
-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
-
-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
-
. Job Requirements: PhD in Geophysics, Seismology, Civil/Structural Engineering, Engineering Mechanics, Applied Physics, Electrical/Computer Engineering, or a related field. Strong research record in
-
have completed a PhD (submitted and defended) by the application deadline. Artists who hold a doctorate and have experience in academic collaboration are also encouraged to apply for an academic