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
-
Surrey to work on an exciting up to 2.5-year MRC funded research project focused on fundamental biology of the tuberculosis bacillus. The work is focused on characterising a newly discovered system that
-
letter outlining and evidencing your suitability for the post via the University of Surrey’s online recruitment system. Shortlisted candidates will be invited to interview. The University of Surrey
-
of the bioelectrochemical lithium recovery system. You will work closely with the academic research team and industrial partners across the battery recycling value chain, providing an opportunity to
-
validating them against datasets generated by collaborators. The candidate will use surrogate modelling and data-centric approaches to complement simulations, incorporating uncertainty to evaluate system