Logic List Mailing Archive

PhD student position and postdoctoral position in "Computational Aspects of the Univalence Axiom", Bergen (Norway), Deadline: 10 Jun 2015

1 and 2) A PhD and a postdoc position 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@ii.uib.no) or Bjorn Ian 
Dundas (Dept. of Mathematics, dundas@math.uib.no).  See

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

and

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

for further details.

3) A PhD position at the Dept. of Mathematics.  The position is open 
within any of the fields of pure mathematics represented at the 
department.  The algebraic topology group currently consists of Morten 
Brun, Bjorn Ian Dundas and Christian Schlichtkrull.  Please contact any of 
us if you have any questions with respect to the possibilities within 
algebraic topology.

Closing date for applications: 2 June 2015

See 
http://www.jobbnorge.no/en/available-jobs/job/112453/research-fellow-phd-candidate-in-pure-mathematics 
for further details.