1 distributed-algorithms positions at University of Surrey

Research Fellow in Verification or Security or Concurrent/Distributed Systems

University of Surrey | United Kingdom | 27 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