List of job vacancies

Fully-funded PhD Studentship on Blockchain Technologies and Applications
by Andrea Bracciali, May 11, 2017

A fully funded PhD studentship on Blockchain Technologies
and Applications is available at the Computing Science
and Mathematics division of the University of Stirling, UK.

Post-doc opening on Communication Contracts for Distributed Systems Development
by Vasco Vasconcelos, May 10, 2017

We welcome applications for a fulltime postdoctoral research position
at the University of Lisbon.

Junior or senior computer scientists in static analysis
by Ferrara Pietro, May 10, 2017

We are looking for several junior and senior researchers in static analysis to join our team at Julia in Verona (Italy)! Two positions need to be filled soon, while a third position will start in fall. More details at or contact me at

Postdoc position at MPI-SWS, Kaiserslautern, Germany
by Maria Christakis, May 8, 2017

Applications are invited for a full-time postdoctoral research
position at the Max Planck Institute for Software Systems (MPI-SWS)
based at Kaiserslautern, Germany, under the supervision of Maria
Christakis (

PhD position on Security and Privacy of Location-Based Services at Chalmers
by Andrei Sabelfeld, May 4, 2017

PhD position on Security and Privacy of Location-Based Services at Chalmers University of Technology, Sweden

Application deadline: May 31, 2017

1-2 Ph.D positions on Combining Formal Methods and Machine Learning (U. Oslo, 9. June 2017)
by Einar Broch Johnsen, May 4, 2017

This PhD project will develop and study new model-based engineering techniques for context-dependent adaptive systems, exploiting the interplay between systematic model exploration and machine learning techniques. The positions are funded by SIRIUS, a Center for Research-Driven Innovation with close industry collaboration.

Application deadline: 9. June 2017

PhD position - Smart-Contract Language Development for Blockchain-Tech Systems
by Alex Norta, May 1, 2017

Currently existing smart-contract languages on blockchains are not suitable for human readability and lack key constructs for making them valid in court. Thus, the utility of smart-contract languages is limited and requires research work for the development of compilers and virtual machines.

Lecturer/Senior Lecturer in Computing, University of Kent
by Richard Jones, April 26, 2017

Two posts to join our rapidly expanding Security research group at the University of Kent in Canterbury, UK. An appointment may be made at Senior Lecturer level for a suitable candidates(s).

« previous123...67next »