From: Helle Hvid Hansen <h.h.hansen@rug.nl>
To: categories@mta.ca
Subject: Three PhD positions in Logic, Proof Theory and Coalgebra (Groningen) *29 Nov 2021 deadline*
Date: Tue, 12 Oct 2021 17:23:06 +0200 [thread overview]
Message-ID: <E1mapEz-0006Gf-8y@rr.mta.ca> (raw)
*******************************************************
* Three PhD positions in Logic, Proof Theory and Coalgebra
* University of Groningen, Netherlands
* Application deadline: 29 Nov 2021 / until filled
*******************************************************
We invite excellent PhD candidates to join us at the Fundamental
Computing group, Bernoulli Institute for Maths, CS and AI, University of
Groningen.
Founded in 1614, the University of Groningen is proud to number among
the world???s top universities with a ???Top 100??? ranking in the most recent
ARWU Shanghai Ranking and the THE World University Rankings, among
others. With the youngest population in the Netherlands (more than 20%
international), Groningen is a lively, cosmopolitan city, as well as a
very safe and eco-friendly city to live in, rated highly for quality of
life, education, social care and healthcare.
Three fully-funded 4-year PhD positions are available:
* PhD Position in Non-Classical Logics through Proof Theory
Supervisor: Revantha Ramanayake <d.r.s.ramanayake@rug.nl>
https://www.rug.nl/about-ug/work-with-us/job-opportunities/?details=00347-02S0008PRP&cat=phd
* PhD Position in Logic, Coalgebra and Semantics of Computing
Supervisor: Helle Hvid Hansen <h.h.hansen@rug.nl>
https://www.rug.nl/about-ug/work-with-us/job-opportunities/?details=00347-02S0008PPP&cat=phd
* PhD Position in Proof Theory of Modal Logics
Supervisors: Helle Hvid Hansen <h.h.hansen@rug.nl> and Revantha
Ramanayake <d.r.s.ramanayake@rug.nl>
https://www.rug.nl/about-ug/work-with-us/job-opportunities/?details=00347-02S0008PQP&cat=phd
Applications received *no later than 29 November 2021 (CET)* will
receive full consideration but applications will be accepted until the
positions are filled.
Prospective candidates are encouraged to contact the respective
supervisor to express their interest well in advance of the deadline.
Best wishes,
Helle and Revantha
--
Helle Hvid Hansen
Associate Professor
Fundamental Computing group
Bernoulli Institute for Maths, CS and AI
University of Groningen
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
reply other threads:[~2021-10-12 15:23 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=E1mapEz-0006Gf-8y@rr.mta.ca \
--to=h.h.hansen@rug.nl \
--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).