6 proof-checking-postdoc-computerscience Fellowship positions at UNIVERSITY OF SURREY
-
agents’ capabilities and information flows. Second, we will investigate the use of modern AI techniques to accelerate large-scale formal verification, including AI proof agents for maintaining, extending
-
is a team player with good communication skills to fit into our enthusiastic, collegiate, and supportive research team. Our laboratory is located at the beautiful Stag Hill campus of the University
-
check will be required for the research element of the role. The expected start date is 1 November 2026. About you The successful candidate will be experienced in quantitative research, midwifery research
-
Way are the cleanest detectors. Second, working with collaborators to exploit upcoming datasets, we will identify the most promising streams with perturbation signatures and fit these. For these fits, we will explore
-
published (or be about to publish) in peer-reviewed journals. For us it is critical that the candidate is a team player with good communication skills to fit into our enthusiastic, collegiate, and supportive
-
streams with perturbation signatures and fit these. For these fits, we will explore the speed up from using GPUs as well as machine learning techniques, e.g. simulation-based inference. Finally, we will use