From: JS Lemay <js.lemay@mq.edu.au>
To: Categories mailing list <categories@mq.edu.au>
Subject: [Categories]: PhD or postdoc position at FAU
Date: Tue, 24 Oct 2023 05:09:28 +0000 [thread overview]
Message-ID: <SY4PR01MB689974F2D164CA73B00A62D890DFA@SY4PR01MB6899.ausprd01.prod.outlook.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 1956 bytes --]
[[JSPL: The following email was sent to the old mailing list by lutz.schroeder@fau.de<mailto:lutz.schroeder@fau.de> while it was offline]]
A fully funded
three-year PhD or postdoc position
(E-13 on the German TV-L scale, full time, no teaching obligation)
is available at the Theoretical Computer Science lab of
Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Germany, with
starting date between now and April 2024. The position is affiliated
with a large interdisciplinary project involving FAU labs in computer
science, linguistics, and law, funded by the German Federal Chamber of
Notaries (Bundesnotarkammer). The project is aimed at providing
automated support for notarial procedures using methods from formal
logic, machine learning, and computational linguistics.
The position at the Theoretical Computer Science lab, supervised by Lutz
Schröder, is concerned with formal logical modelling and reasoning. We
are thus looking for a candidate with an MSc or PhD in computer science
or mathematics, ideally with a background in logic, in particular modal
or description logics.
The position is embedded into a large and active research group with a
highly collaborative spirit, see https://www8.cs.fau.de/<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
lutz.schroeder@fau.de<mailto:lutz.schroeder@fau.de>
Best wishes,
Lutz Schröder
--
--------------------------------------
Prof. Dr. Lutz Schröder
Friedrich-Alexander-Universität
Erlangen-Nürnberg
Department of Computer Science
Chair 8 -- Theoretical Computer Science
Martensstr. 3
91058 Erlangen
+49-9131-85-64059
lutz.schroeder@fau.de<mailto:lutz.schroeder@fau.de>
http://www8.cs.fau.de/~schroeder/<http://www8.cs.fau.de/~schroeder>
-------------------------------------
[-- Attachment #2: Type: text/html, Size: 13251 bytes --]
reply other threads:[~2023-10-24 5:11 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=SY4PR01MB689974F2D164CA73B00A62D890DFA@SY4PR01MB6899.ausprd01.prod.outlook.com \
--to=js.lemay@mq.edu.au \
--cc=categories@mq.edu.au \
/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).