2 May - 24 August 2018, Visiting Positions for Hausdorff Trimester Programme 'Types, Sets, & Constructions'

The aim of the Hausdorff Trimester is to create a forum for research on and dissemination of exciting recent developments in type theory, which are of central importance to modern foundations of mathematics. The program will include a Spring School, and three major workshops. The Hausdorff Research Institute offers visiting positions for the whole period of the trimester program (for senior scientists, postdocs and PhD students). In addition numerous fellowships for shorter periods are available.