Postdoc/PhD positions at TU Kaiserslautern in Computational Logic

by Anthony Widjaja Lin, June 18, 2019

Project: Algorithmic Verification of String-Manipulating Programs
Deadline: early deadline is 28 June, but applications will still be received thereafter
Duration: Three years starting as soon as possible (negotiable)

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. 

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, formal verification, and software testing.

Research environment: successful applicants will work within the Automated Reasoning Research Group 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 ([email protected]).

To apply, please send a CV and a research statement in an email to Mrs. Judith Stengel ([email protected]).

Early applications deadline is noon CEST on Friday 28 June 2019. Depending on the remaining positions available, further applications may still be considered.