-
and refactoring the seL4 Isabelle/HOL proof base. The Surrey positions are full-time fixed-term until November 2027. We have substantial funding for access to state-of-the-art AI models and computing
-
Researcher (R3) Application Deadline 18 Aug 2026 - 00:00 (UTC) Country United Kingdom Type of Contract Other Job Status Full-time Is the job funded through the EU Research Framework Programme? Not funded by a
-
, UK, to work on building machine learning and AI models for perceptual quality prediction of spatial music. The post is funded by a leading industry partner. The focus will be to develop machine
-
to collaborate with other team members, such as the Research Fellow who focuses on building machine learning models for perceptual quality prediction. About you The post-holder is expected to have a PhD degree (or