[TYPES/announce] Vacancies in "Computational Aspects of Univalence" at UiB (Norway)

[Marc.Bezem at uib.no]

At the University of Bergen, Norway, there are two vacancies in the  
project "Computational Aspects of Univalence" led by Marc Bezem and  
Bjørn Ian Dundas. The project is a collaboration between the  
Department of Informatics and the Department of Mathematics, and is  
funded by the Research Council of Norway. Starting date is (ca) 1  
October, deadline for application 10 June. A detailed project  
description can be found here:

http://www.ii.uib.no/~bezem/CAU.pdf

One vacancy is a 4-year PhD position (with 25% teaching duties):

http://www.jobbnorge.no/en/available-jobs/job/113905/research-fellow-phd-candidate-at-the-department-of-informatics-or-at-the-department-of-mathematics

The other vacancy is a 2-year Postdoc position:

http://www.jobbnorge.no/en/available-jobs/job/113730/postdoctoral-fellow-position-at-the-department-of-informatics-or-at-the-department-of-mathematics

Interested candidates are encouraged to take contact with one of the  
project leaders, preferably by e-mail ( bezem at ii.uib.no or  
dundas at math.uib.no ).