Professor and postdoc/researcher positions in Tallinn in trustworthy software technologies

The Government of Estonia has allocated funds to create six new
research groups in selected areas of ICT at the Tallinn U of
Technology and U of Tartu during 2018-2022.

One of these areas, to be hosted at the Tallinn U of Technology, is
trustworthy software technologies.

Specific topics of interest in this area include theories, methods
and tools for program analysis, verification, program transformations
and generation, program synthesis, programming languages, functional
programming, refinement/dependent types, software contracts, theorem
proving and proof assistants, certified software, processes of
building trust in software, economics of trust.

Applications are being sought for these positions:

- a full (or associate) professor, to become the leader of the new
  group, application deadline 15 September 2018;
  per annum salary range 56500..75000 EUR gross (translating to
  ~45000..60000 EUR net)

- 4..6 postdocs or researchers, applications are accepted until the
  positions have been filled;
  salary range 25000..37500 EUR gross (~20000..30000 EUR net)

Closer information is available at

The official position announcement for the professor position is at

Comments are closed.