Fwd: Types-announce Digest, Vol 113, Issue 11

0 views
Skip to first unread message

Steve Awodey

unread,
May 21, 2015, 3:16:47 PM5/21/15
to homotopytypetheory
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 ).


Reply all
Reply to author
Forward
0 new messages