Research Position (PhD) at Humboldt University, Germany

Exploration Position (PhD) at Humboldt University, Germany Staff of Mathematics and Natural Sciences Institute of Computer Science is welcoming applications for research position inside the system of the CrESt venture. Number of spots: 1 Spot of utilization: Faculty of Mathematics and Natural Sciences Institute of Computer Science Field of action: Research Services in research inside the structure of the CrESt venture, particularly the advancement of calculations and strategies for module checking for open frameworks, setting demonstrating and thought of vulnerabilities in the confirmation just as participation for the situation study Cooperating transport robots; Tasks for own logical capability (doctorate)AdvertisementsReview Sending Client Review0 (0 votes) Conditions: Completed scholastic investigations in software engineering, rationale, arithmetic or programming designing with a scientific hypothetical just as down to earth programming focused center (with a generally excellent outcome); Ability to dissect and comprehend complex programming; Previous involvement with programming building; Knowledge in demonstrating, confirmation, model testing or formal strategies in programming building is alluring 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 (enrolled office: Rudower Chaussee 25), Unter cave Linden 6, 10099 Berlin or favored by email to heene @ Informatik.hu-berlin.de. Grant Link