Humboldt-Universität zu Berlin,Institut für Informatik,Prof. Dr. Holger Schlingloff
Job announcement - Ph.D. position
Humboldt University Berlin
Department of Mathematics and Natural Sciences, Institute for Informatics
Scientific employee (m/f) with expected full-time engagement - E13 TV-L HU
(Third-party funded, limited until 31.01.2020) Area of responsibility: Scientific research within the BMBF project CrESt,
in particular development of algorithms for module-checking of open systems,
context modelling and verification under uncertainty, as well as contribution
to a case study on autonomous transport robots; tasks to support scientific
qualification (writing a Ph.D. thesis). Prerequisites: Completed scientific degree (master or comparable) in
computer science, logic, mathematics, or software engineering with an
emphasis on theoretical/formal as well as practical/engineering aspects
(preferably with a very good result); ability to analyse and understand
complex systems; knowledge in software engineering; experiences in modelling,
verification, model checking or formal methods would be advantageous.
Applications should be directed (if possible, until Feb 6th, 2017)
with reference to the ID number DR/008/17 to Humboldt-Universität zu Berlin,
Institut für Informatik, Prof. Schlingloff, Unter den Linden 6, 10099 Berlin
or, preferrably, via e-mail to heene(at)informatik.hu-berlin(dot)de
For equality reasons female applicants are especially welcome. Severely
handicapped applicants will be preferred to equally qualified applicants.
Applications by persons with a migration background are explicitly
requested. Since application materials will not be returned, we ask you
to use only copies in your application.
There is a growing number of applications by candidates from Asian countries.
I used to answer all these requests personally; however, to my impression this had the effect that the number of spam-applications increased even more.
Thus, I can no longer answer all incoming requests.
In particular, I will not answer applications which obviously have been sent to a large number of recipients.
Here are some general remarks for foreign applicants:
If you are interested in an internship, research visit, exchange program or similar,
send me an email indicating your request. You can considerably increase your chances
of getting a reply by writing a personal letter, detailing why you are interested in
our topics, what your previous experiences are, what papers you have written etc.
Indicate that you have read and understood this page.
I have no funds available for financing your travel. If you are interested in visiting,
you will have to provide funding from some other sources like your own university, your government,
the German academic exchange program, or such. I cannot help you to find information about
the various funding sources.
I will not be responsible for your visa affairs. Please check the individual requirements
and regulations for your visa.
We have a number of interesting research projects, which usually require a solid background
in formal methods. Thus, for me your logic background is more important than your programming