Tartu Ülikool, arvutiteaduse instituut, programmijuht 01.01.2024-
Tartu Ülikool, Loodus- ja täppisteaduste valdkond, õppeprodekaan 01.01.2016-
Tartu Ülikool, arvutiteaduse instituut, programmeerimiskeelte semantika professor 01.11.2007–31.12.2023
Tartu Ülikool, arvutiteaduse instituut, õppetooli juhataja 02.03.2016–31.08.2017
Tartu Ülikool, Arvutiteaduse Instituut, tarkvarasüsteemide õppetool, dotsent 2001-2006