[TYPES/announce] Professor and postdoc/researcher positions in Tallinn in trustworthy software technologies

[Tarmo Uustalu]

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 http://www.ttu.ee/itpositions/

The official position announcement for the professor position is at
https://www.ttu.ee/university/work-at-tut-3/open-positions-academic/


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