Circulando... ---
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 July 2023. Given the aims of the project, the candidate should have an interest in exploring philosophical aspects of Martin-Löf type theory. Previous familiarity with this or a related system, such as homotopy type theory or the calculus of constructions, is an advantage, but not a prerequisite for applying. A detailed description of the project is available upon request from Ansten Klev, who will also attend to any questions applicants may have: k...@flu.cas.cz. The deadline for applying is April 16. Applications should be sent to Kateřina Krusová, krus...@flu.cas.cz, including a copy to Ansten Klev at the above address. 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. The monthly gross salary of CZK 43 200 is well above the current Czech average. Year-end bonus and meal vouchers come in addition. The project also provides money for travel and for inviting guest speakers. The Czech Academy of Sciences is a research institution organized into institutes. The Institute of Philosophy is in turn organized into departments. The postdocs will be affiliated with the Department of Logic. -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/742ea77a-cc1e-4e23-a641-acf46c2afa4cn%40dimap.ufrn.br.
