2 semantic-web Fellowship positions at University of Birmingham

Research Fellow - School of Computer Science - 105667 - Grade 7

University of Birmingham | Birmingham, England | United Kingdom | 3 months ago

Programming and Reasoning (HOMBRe)," which explores foundational aspects of program semantics and verification. A central focus of the project is the treatment of computational effects via monads and their

Research Fellow in Formal Verification - School of Computer Science - 106122 - Grade 7

University of Birmingham | Birmingham, England | United Kingdom | 2 months ago

becoming standard practice. However, achieving formal assurance of software correctness remains a complex challenge. Seminal work in programming language semantics provides powerful frameworks