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.
The deadline for applying is October 15. Applications should be sent to
Olga Bažantová: 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.
--
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CAJHZuqZGaZcfb7d8xFpR9Fju_DoRZCxY9EVHNHGUGcve90V_sA%40mail.gmail.com.