Sort by
Refine Your Search
-
Surrey for a new project on formal verification, seL4 security and AI-assisted theorem proving, funded by the Advanced Research + Invention Agency (ARIA): https://agentic-sel4.github.io/ The project
-
Surrey for a new project on formal verification, seL4 security and AI-assisted theorem proving, funded by the Advanced Research + Invention Agency (ARIA): https://agentic-sel4.github.io/ The project
-
opportunity to contribute to research at the interface of computational geotechnics, data-centric methods, sustainable infrastructure, low-carbon energy systems, and climate-change adaptation . The project
-
with other researchers and clinical staff members, be responsible for conducting the clinical research protocol, analyses of EEG and behavioural data, deliver neuromodulation interventions, and prepare
-
stages of the research process, including design, data collection, analysis and dissemination. The role will involve collaboration with other academic colleagues and external stakeholders. It will
-
, we adopt an integrated approach that combines experimental studies, multi-physics and data-driven modelling, explainable AI, and techno-economic analysis to advance the application of digital
-
value chain. You will also support prototype scale-up and integration, analyse and interpret experimental datasets, and work with the wider project team to generate the technical data required for
-
practical knowledge of soil mechanics and thermo-mechanical or thermal response testing. You will also have strong data analysis, research publication, organisational and problem-solving skills, alongside the
-
and skills required to support policy or institutional changes; horizon scan future research pathways and respond with agility to stakeholder evidence needs; and create a world-class data and