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

by Tarmo Uustalu, Aug. 29, 2018

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

(TTU is no longer my main employer, but I will be happy to answer
informal questions about the programme and the environment. T.U.)