Logic List Mailing Archive

Two postdoctoral positions in type theory and philosophy of mathematics, Prague (Czech Republic), Deadline: 15 Oct 2020

The Institute of Philosophy of the Czech Academy of Sciences welcomes 
applications for two full-time postdoc positions. The two postdocs will 
work within a project led by Ansten Klev on type theory and the philosophy 
of mathematics. The main aim of the project is to develop a philosophy of 
mathematics for Martin-Löf type theory. The postdocs will pursue research 
programmes of their own that in some way contribute to this overall aim.

Both positions last for 30 months and will start in January 2021.

In the first part of this 5-year project emphasis will be placed on 
developing an inferentialist meaning theory for mathematical language. We 
are especially looking for researchers who fit at least one of these two 
descriptions:

1. You are well acquainted with inferentialism in at least one of its 
incarnations (proof-theoretic semantics, the Brandom tradition), and you 
are interested in extending the programme to the language of mathematics. 
If you are not already familiar with Martin-Löf type theory, you are 
willing to learn the basics of the system after arriving in Prague.

2. You are well acquainted with the technical aspects of Martin-Löf type 
theory and are familiar with Martin-Löf's meaning explanations. You might 
even know some homotopy type theory and have thought about how the meaning 
explanations fare within that or other extensions of Martin-Löf type 
theory.

A more detailed description of the project is available upon request from 
Ansten Klev, who will also attend to any questions applicants may have: 
klev@flu.cas.cz<mailto:klev@flu.cas.cz>.

The deadline for applying is October 15. Applications should be sent to 
Olga Ba?antová: bazantova@flu.cas.cz<mailto:bazantova@flu.cas.cz>. The 
application should consist of a CV and a brief (1-2 pages) description of 
the research the applicant plans to carry out while in Prague.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam