1 proof-checking-postdoc-computerscience Fellowship positions at University of Surrey

Research Fellow in Verification or Security or Concurrent/Distributed Systems

University of Surrey | United Kingdom | 2 days ago

model checkers; proofs of safety and/or security properties; programming languages and/or type systems; concurrent and/or distributed algorithms; and related topics. The successful applicant will work in