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 http://sfb901.uni-paderborn.de/ , 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)mail.uni-paderborn.de until April, 15th, 2017.