Sort by
Refine Your Search
-
Category
-
Country
-
Employer
-
Field
-
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
-
9th November 2026 Languages English Norsk Bokmål English English PhD Research Fellow PhD Research Fellow in Norwegian professional language use in the workplace Apply for this job See advertisement
-
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 November 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
-
National Lab, University of Tokyo etc.), the PhD candidate is expected to research on some of the following themes: New algorithms for parallel/distributed AI/ML Hardware-aware and resource-efficient
-
administrator, and a number of research fellows, research associates, and PhD students. Most staff are employed on/funded through external research grants, including those funded by the National Institute