SEWORLD Archives

SEWORLD

SEWORLD@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
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
Content-Type:text/plain

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/

============================================================
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.
============================================================

ATOM RSS1 RSS2