Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Show image information


On this page we list open positions for research associates and student assistants.

Research Associates

For general questions about pursuing a PhD in our research group, please contact Prof. Wehrheim.

Open Position for PhD student

The research group of Prof. Heike Wehrheim works on formal methods in software engineering. More specifically, our interest is in formal specification and verification of software systems. This encompasses different formal modelling notations and their analysis as well as program analysis (static analysis, testing, model checking).

Starting May, 1st, 2017 earliest, we have an open position for a PhD student. The PhD student will work within our collaborative research center SFB 901 “On-The-Fly Computing”, see , subproject B3, on the formal analysis of service compositions.  Candidates should have a Master or Diploma degree in Computer Science with an excellent grade, preferably knowledge in one of the above mentioned topics, very good programming skills and the ability to work with formal concepts (formalization as well as proving). German language skills are not mandatory, but we expect successful candidates to learn German during their PhD studies. Very good English language skills are required.

The position is initially for 2 years, with an option for prolongation.

We invite interested candidates to send applications including a letter of motivation, CV, copies of exams, degrees and grades. Please submit your application electronically to Ms Schlatt, schlatt(at) until April, 15th, 2017.

Student Research Assistants (SHKs)

Currently we have no open positions for student assistants.

The University for the Information Society