[Job-offers-cs] Postdoc/PhD positions at TU Kaiserslautern in Computational Logic

[Pekka Orponen]

-------- Forwarded Message --------
Subject: [DMANET] Postdoc/PhD positions at TU Kaiserslautern in 
Computational Logic
Date: Tue, 4 Jun 2019 10:20:45 +0200
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 the ERC project Algorithmic Verification of 
String-Manipulating Programs at Technische Universität 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 (preferably around August 2019, but this is negotiable).

Successful applicants will help drive our effort in developing theories 
and/or implementations of a fast string constraint solver (possibly 
building on top of our existing solver OSTRICH 
https://github.com/uuverifiers/ostrich), as well as applying them to 
several domains including web security, personalized online education, 
program repair, and verification of parameterized systems. There are 
some flexibilities on the actual tasks assigned to the successful 
candidates, which will be decided upon negotiation.

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

Research environment: successful applicants will work within the 
Automated Reasoning Research Group at TUK led by Prof. Anthony W. Lin 
(https://anthonywlin.github.io/). Our group enjoys close collaboration 
with colleagues at Max-Planck Institute for Software Systems (also 
located at the TUK campus) including Prof. Rupak Majumdar, Dr. Daniel 
Neider, and Dr. Georg Zetzsche), as well as colleagues at other 
institutes in Germany (e.g. Munich), 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 on Friday 28 June 2019. 
Depending on the remaining positions available, further applications may 
still be considered.