Research Fellow in Verification or Security or Concurrent/Distributed Systems The University of Surrey is a global... and/or type systems; concurrent and/or distributed algorithms; and related topics. The positions are funded by the UK Engineering...
Trustworthy Software Systems (VeTSS, )hosted jointly at Surrey and Imperial. Our research includes security verification...; programming languages and/or type systems; concurrent and/or distributed algorithms; and related topics. The positions...