Faculty of Mathematics and Natural Sciences – Institute of Computer Science is inviting applications for research position within the framework of the CrESt project.
Number of places: 1
Place of use: Faculty of Mathematics and Natural Sciences – Institute of Computer Science
Field of activity: Research Services in research within the framework of the CrESt project, especially the development of algorithms and methods for module checking for open systems, context modeling and consideration of uncertainties in the verification as well as cooperation in the case study Cooperating transport robots; Tasks for own scientific qualification (doctorate)
User Review( votes)
Conditions: Completed academic studies in computer science, logic, mathematics or software engineering with a mathematical-theoretical as well as practical-software-oriented focus (with a very good result); Ability to analyze and understand complex software; Previous experience in software engineering; Knowledge in modeling, verification, model testing or formal methods in software engineering is desirable
Application until: 22.02.2017
Application: Applications must be submitted to the Humboldt-Universität zu Berlin, the Faculty of Mathematics and Natural Sciences, the Department of Computer Science, Prof. Schlingloff (registered office: Rudower Chaussee 25), Unter den Linden 6, 10099 Berlin or preferred by e-mail to heene @ Informatik.hu-berlin.de.