Sort by
Refine Your Search
-
Research theme: Formal Methods How many positions: 1 This 3.5 year PhD is funded by the Department of Computer Science at The University of Manchester. The successful candidate will receive
-
leader in graph data base technology. The supervisory team has a strong publication record in systems, distributed systems and concurrency, programming languages, and formal verification, including
-
Cyber Security team. Successful candidates would become members of UWECyber , an NCSC-certified Academic Centre of Excellence in Cyber Security Education (ACE-CSE), along with the Computer Science
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions