Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

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, ) or Bjorn Ian Dundas (Dept. of Mathematics, ). See http://www.jobbnorge.no/en/available-jobs/job/113905/ and http://www.jobbnorge.no/en/available-jobs/job/113730/ for further details.

Please note that this newsitem has been archived, and may contain outdated information or links.