|Subject:|| Professor and postdoc/researcher positions in Tallinn in trustworthy software technologies|
|From:|| SEWORLD Moderator <[log in to unmask]>|
|Reply-To:||SEWORLD Moderator <[log in to unmask]>|
|Date:||Fri, 31 Aug 2018 04:43:30 -0000|
Professor and postdoc/researcher positions in Tallinn in trustworthy
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
To contribute to SEWORLD, send your submission to
mailto:[log in to unmask]
http://sigsoft.org/resources/seworld.html provides more
information on SEWORLD as well as links to a complete
archive of messages posted to the list.