[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.)