[Job-offers-cs] Postdoc/PhD positions at TU Kaiserslautern and MPI for Software Systems in Computational Logic

[Pekka Orponen]

-------- Forwarded Message --------
Subject: [DMANET] Postdoc/PhD positions at TU Kaiserslautern and MPI for 
Software Systems in Computational Logic
Date: Sat, 20 Feb 2021 19:27:33 +0100
From: Anthony W. Lin <anthony.w.to at gmail.com>
To: dmanet at zpr.uni-koeln.de

We are looking for postdoctoral researchers and research assistants at 
the PhD level to work on computational logic and/or automata theory 
jointly at Technische Universitaet Kaiserslautern and Max-Planck 
Institute for Software Systems (MPI-SWS), which are located in 
Kaiserslautern, Germany. Research assistants at the PhD level will be 
funded for a standard duration of a PhD study at TUK (between 3-4 
years). Postdoc researchers will initially be funded for two years with 
a possibility of extension of up to four years. The expected starting 
date is as soon as possible (not later than September 2021, but this is 
negotiable).

Successful applicants will help drive our effort in developing theories 
and/or implementations of logic and automata-theoretic toolbox. This 
could include, for example, the development of a string constraint 
solver (see https://anthonywlin.github.io/strings.html), as well as 
applying them to several domains including web security, personalized 
online education, program repair, and verification of parameterized 
systems. Other possible topics could include the development of 
techniques for evaluating path-based queries over graph databases.

Ideally, applicants should have strong backgrounds in computer science 
(or related areas like mathematics) with experience in at least two of 
the following areas: logic, algorithms, programming language 
theory/implementation, formal language theory, concurrency theory, 
database theory, and formal verification.

Research environment: successful applicants will work within the 
Automated Reasoning Research Group at both TU Kaiserslautern and MPI-SWS 
led by Prof. Anthony W. Lin (https://anthonywlin.github.io/). They will 
be co-supervised by Prof. Rupak Majumdar, and have the opportunity to 
collaborate with Dr. Georg Zetzsche. The group enjoys close 
collaborations with colleagues in the UK (Oxford, Edinburgh, Birmingham, 
and London), Sweden (Uppsala), Taiwan (Taipei), China (Beijing), 
Australia (Melbourne, Canberra), Singapore, and Chile (Santiago).

For informal enquiries, please contact Prof. Anthony Lin (lin at cs.uni-kl.de).

To apply, please send a CV and a research statement in an email to Mrs. 
Judith Stengel (stengel at cs.uni-kl.de).

Early applications deadline is noon CEST 21 March 2021. Depending on the 
remaining positions available, further applications may still be considered.