-
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