Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Villanova University
- Nanyang Technological University
- Universidade do Minho
- 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
- University of Birmingham
- University of Birmingham;
- University of Sheffield;
- University of South-Eastern Norway
- University of Stavanger
- Western Norway University of Applied Sciences
- 8 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
-
Siri Pedersen 18th October 2026 Languages English Norsk Bokmål English English PhD Fellowship in Public safety, Underground applications and Spatial analysis Apply for this job See advertisement
-
-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