1 programming-languages-"the"-"CNRS"-"U"-"Humboldt-Stiftung-Foundation" positions at University of Surrey

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