Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
individually, make a real difference. The role We are looking to recruit two Senior Research Associates at the University of Surrey for a new project on formal verification, seL4 security and AI-assisted theorem
-
project at the intersection of mathematics, computer science, formal verification, and artificial intelligence. The project is working toward a complete and reproducible formal certification in Lean of a
-
Are you interested in working for a world top 100 university, performing cutting-edge research in formal verification Applications are invited for a postdoctoral research associate on the EPSRC
-
concerns or an elevated risk of harm to themselves or others. This role contributes to the shared objectives of the department and the university psychology program, including training expectations
-
culture are expected. Applicants must hold a PhD in computer science, mathematics or equivalent experience. Please see job description for a full list of requirements. Further Information Full-time, Fixed
-
broadly with faculty in the Luddy School of Informatics, Computing, and Engineering, Data Science, Statistics, the Institute for Scientific Computing and Applied Mathematics, and scientific units across our
-
primary appointment in Mathematics and opportunities to collaborate broadly with faculty in the Luddy School of Informatics, Computing, and Engineering, Data Science, Statistics, the Institute
-
Two Research Associate Positions - Automated Formal Verification, Stochastic Games, Algebraic Reasoning, Security Two posts starting from October 20th 2026 to conclude October 19th 2027 with
-
conferences. • Participate actively in program, departmental, and college committees, initiatives, and sponsored events. • Support student recruitment, retention, and overall college growth through formal and
-
of Computing is a leading department of Computer Science in the UK and the world and has consistently been awarded the highest research rating. In the 2021 REF assessment, the Department claimed the top spot for