Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
From: "Ansten Mørch Klev" <anstenklev@gmail.com>
To: homotopytypetheory@googlegroups.com
Subject: [HoTT] Postdoc positions in Prague
Date: Tue, 14 Mar 2023 11:44:46 +0100	[thread overview]
Message-ID: <CAJHZuqYSx_Zp4KF1TShj8CZ4+NUyO=siG8f+U7P0sSoAyamo1g@mail.gmail.com> (raw)

[-- Attachment #1: Type: text/plain, Size: 2140 bytes --]

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

A detailed description of the project is available upon request from Ansten
Klev, who will also attend to any questions applicants may have:

The deadline for applying is April 16. Applications should be sent to
Kateřina Krusová, krusova@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.

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/CAJHZuqYSx_Zp4KF1TShj8CZ4%2BNUyO%3DsiG8f%2BU7P0sSoAyamo1g%40mail.gmail.com.

[-- Attachment #2: Type: text/html, Size: 2720 bytes --]

             reply	other threads:[~2023-03-14 10:45 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-03-14 10:44 Ansten Mørch Klev [this message]
  -- strict thread matches above, loose matches on Subject: below --
2020-09-04  7:30 Ansten Mørch Klev

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='CAJHZuqYSx_Zp4KF1TShj8CZ4+NUyO=siG8f+U7P0sSoAyamo1g@mail.gmail.com' \
    --to=anstenklev@gmail.com \
    --cc=homotopytypetheory@googlegroups.com \


* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).