Job Researcher in Homotopy Type Theory (Stockholm University)

Posted online: 2021-03-21 21:12:03Z by Henrik Shahgholian5

Expires At: 2021-04-09

  • Logic
  • Computational Engineering, Finance, and Science
  • Computation

View details

The Department of Mathematics at Stockholm University has 38 faculty staff members, divided into three divisions: Mathematics, Mathematical statistics and Computational mathematics. The Division of Mathematics carries out research in a wide range of topics in pure mathematics, including algebra, analysis, combinatorics, geometry, logic and topology.

The research group in mathematical logic is active in several areas of the field, including constructive mathematics, type theory, and categorical logic.