Date: Thu, 21 May 2015 11:07:44 +0200
From: Marc....@uib.no
To: types-a...@lists.seas.upenn.edu
Subject: [TYPES/announce] Vacancies in "Computational Aspects of
Univalence" at UiB (Norway)
Message-ID: <20150521110744.52036imnlz0sm25c.nmimb@impmail.uib.no>
Content-Type: text/plain; charset=ISO-8859-1; DelSp="Yes";
format="flowed"
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 ( be...@ii.uib.no or
dun...@math.uib.no ).