and/or type systems; concurrent and/or distributed algorithms; and related topics. The positions are funded by the UK Engineering..., )hosted jointly at Surrey and Imperial. Our research includes security verification, protocol design and analysis...
Trustworthy Software Systems (VeTSS, jointly at Surrey and Imperial. Our research includes security verification, protocol...; programming languages and/or type systems; concurrent and/or distributed algorithms; and related topics. The positions...
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...