From: "Lutz Schröder" <lutz.schroeder@fau.de>
To: categories <categories@mta.ca>
Subject: PhD position in Coalgebraic Model Checking at FAU Erlangen-Nürnberg
Date: Tue, 24 Sep 2019 17:33:14 +0200 [thread overview]
Message-ID: <E1iCr0c-0005Jo-6T@rr.mta.ca> (raw)
We are pleased to announce an opening for a fully funded three-year PhD
position (E-13 on the German TV-L scale, full time, no teaching
obligation) at Friedrich-Alexander-Universität Erlangen-Nürnberg,
located at the Chair of Theoretical Computer Science. The position is
within the new DFG project "Coalgebraic Model Checking", with Stefan
Milius and Lutz Schröder as PIs and with Daniel Hausmann collaborating
on a second project position. The aim of the project is to develop a
generic framework for model checking a wide variety of logics beyond the
standard relational setting, such as probabilistic, graded, or
alternating-time logics, based on the successful paradigm of coalgebraic
logic.
The position is embedded into a large and active research group with a
highly collaborative spirit, see https://www8.cs.fau.de/ for more
details. Erlangen's technical campus is situated within pleasant
Franconia, and close to the vibrant city of Nuremberg. Please send
applications or further inquiries to the PIs at
stefan.milius@fau.de or
lutz.schroeder@fau.de
Best wishes,
Lutz and Stefan
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
reply other threads:[~2019-09-24 15:33 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:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1iCr0c-0005Jo-6T@rr.mta.ca \
--to=lutz.schroeder@fau.de \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* 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).