1 programming-languages-"the"-"CNRS"-"U"-"Washington-University-in-St" Fellowship positions at University of Surrey in United Kingdom

Research Fellow in Verification or Security or Concurrent/Distributed Systems

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