Logic List Mailing Archive

CfA: Visiting/postdoc researcher in Logic, Semantics, Concurrency - University of Groningen (NL), deadline: 24 January 2024

We invite applications for a post-doctoral researcher position at the Fundamental Computing group of the University of Groningen, The Netherlands (www.rug.nl/fse/fc<http://www.rug.nl/fse/fc>).


The successful candidate will work together with Helle Hvid Hansen and Jorge A. Pérez and contribute to the group’s research activities on the formal specification and analysis of software systems (broadly construed).


The duration of the position will be six months, but there are possibilities for an extension. While this is shorter than a typical postdoc appointment, we see this vacancy as offering an extended “visiting researcher” position. As such, it could be appealing for (young) scholars wishing to develop their own research agenda within a vibrant research environment and an internationally-oriented university and city.


We warmly encourage applications from individuals with proven experience in any of the research areas covered by the Fundamental Computing group: modal logic, coalgebra, concurrency theory, type systems, programming languages, semantics, program logics, proof theory, exact algorithms.


The starting date is negotiable, but preferably before April 1st, 2024.


Submit your application until January 24, 23:59 (Dutch local time, CET) following the instructions detailed here:

https://www.rug.nl/about-ug/work-with-us/job-opportunities/?details=00347-02S000AJ0P


For informal inquiries about the vacancy, please contact Jorge A. Pérez, leader, Fundamental Computing group (<j.a.perez@rug.nl<mailto:j.a.perez@rug.nl>>).


--
Helle Hvid Hansen
Associate Professor
Fundamental Computing
Bernoulli Institute for Maths, CS and AI
University of Groningen
URL: https://www.rug.nl/staff/h.h.hansen/
Tel. +31 50 36 33939


--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php