Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
bridge research focused on virtual and immersive environments with projects that are centred on explorations with physical media. We are looking to recruit one PhD candidate in the broad area of digital
-
This 4-year PhD is fully funded for UK home students (by The University of Manchester), but only partial funding is available for overseas students. We will also provide a tax-free stipend set at
-
on learning techniques to automatically build and verify models of concurrency, with a particular focus on multi-core systems. apply the framework to real-world verification tasks, in collaboration with ARM
-
overhead dynamic binary modification tool for ARM), ESBMC (Efficient SMT-based Bounded Model Checker), and JBMC (Java Bounded Model Checker). www.cs.manchester.ac.uk/research/expertise/systems-and-software