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

Research Fellow in Biomedical Data Sciences

University of Surrey | United Kingdom | about 8 hours ago

, charities, as well as other universities and research institutes across the UK and internationally. The overall programme of research will be jointly developed by Prof. Nophar Geifman and the person appointed

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