categories - Category Theory list
 help / color / mirror / Atom feed
From: Andrei Popescu <>
Subject: categories: PhD or Postdoc Position at LMU Munich about Verified Modal Logics
Date: Fri, 10 Mar 2023 00:07:38 +0000	[thread overview]
Message-ID: <> (raw)

We are looking for a PhD student (4 years) or postdoctoral researcher
(3 years) to work on the Isabelle formalization of modal model theory.
The work will take place within the Chair of Theoretical Computer
Science at LMU Munich under Jasmin Blanchette's supervision with the
participation of two external experts: Cláudia Nalon (University of
Brasília) and Sophie Tourret (Inria Nancy).

Modal logics are extensions of classical logics with operators that
allow for the qualification of truth. Model theory for modal logics is
concerned with the interplay between the language (syntax, i.e., the
set of its formulas) and its meaning (semantics, i.e., the structures
over which the language is interpreted). There are, however, different
ways of characterizing meaning for modal sentences and also several
(well-established) results that allow for restriction on the sets of
structures being considered. This project concerns the formalization
in Isabelle of those results for general Kripke structures for
generalized modal operators (i.e., of any arity). The goal is to
produce a library that could then be used (and possibly extended) for
specific applications, in particular those related to proof theory.

The position is categorized as TV-L E13 according to the German salary
scale. It includes some teaching obligations. The starting date is
flexible. Please contact Jasmin Blanchette
( for more information or if you want to
apply. The application deadline is 15 April 2023.

[For admin and other information see: ]

                 reply	other threads:[~2023-03-14  2:07 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

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 \ \ \ \

* 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).