PhD student position and postdoctoral position in "Computational Aspects of the Univalence Axiom", Bergen (Norway)

A PhD and a postdoc position are available at the Dept. of Mathematics or Informatics on the project "Computational aspects of the Univalence Axiom". The applicants must have a strong background in (algebraic) topology and/or the foundation of mathematics. You must be able to work independently and in a structured manner and to demonstrate good collaborative skills.

Closing date for applications: 10 June 2015. Detailed information about the position can be obtained by contacting: Professors Marc Bezem (Dept. of Informatics, bezem at ii.uib.no) or Bjorn Ian Dundas (Dept. of Mathematics, dundas at math.uib.no). See http://www.jobbnorge.no/en/available-jobs/job/113905/ and http://www.jobbnorge.no/en/available-jobs/job/113730/ for further details.