14 programming-"https:"-"FEMTO-ST"-"UCL" "https:" "https:" "https:" "https:" "https:" "J" positions at University of Bristol in United Kingdom
Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
of reasoning about programs with bugs: since well-typed programs cannot go wrong, programs harbouring runtime errors simply don’t exist as far as the type system is concerned. By contrast, two-sided type
-
The purpose of the role is to support the PI (Dr Rainer Groh) in the delivery of an ambitious research programme funded through a UK Research & Innovation Future Leaders Fellowship. By combining
-
our staff blog: https://engineering.blogs.bristol.ac.uk/category/engineering-includes-me/ Contract type: Open ended with fixed funding until 30/11/2029 Work pattern: Full time Grade: J Salary: £43,482
-
programme of the Heilbronn Institute, thus enjoying opportunities to engage in collaborative work as well as individual projects. Research areas of interest include, but are not restricted to, Algebra