|| The Computer Science department of the University Koblenz-Landau (Campus Koblenz) invites applications for the position of a
(1,0 EGr. 13 TV-L)
at PhD level, in the research groups ``Formal methods and theoretical computer science'' (Prof. Dr. Viorica Sofronie-Stokkermans) and ``Computer Networks'' (Prof. Dr. Hannes Frey).
The position is available for 2 years. A further extension is planned.
The prospective scientific assistant will study theoretical modelling and verification of wireless networked automatic assistant systems like driver assistant systems, self-organizing fleet management, air traffic management, or UAV swarm robotics. We consider systems where information is incomplete and imprecise due to faulty wireless communication channels.
The goal is to analyze and compare different system models where information about own data (e.g. position), communication channels (e.g. quality of the wireless connection, strength of the received signal), other systems and the environment is not given precisely but assumed to be within some analytically described error margin. In this connection stochastic models and stochastic modeling tools of systems are to be applied.
We expect to obtain new insights about the links between classical verification of incompletely specified systems, or systems with imprecise information on the one hand, and possibilities for probabilistic verification of stochastically modeled wireless networked systems (possibly with links to stochastic geometry) on the other hand.
Besides participation in research the position includes teaching obligations in theoretical and technical fields of computer science.
Applicants should have a MSc degree (or comparable University degree) in computer science, mathematics or a related discipline.
Application letters (including a CV) must be sent by e-mail as a single .pdf file to:
*** In the subject line please indicate your name and the position number 101/2018 ***
To receive full consideration, applications should be received by September 30, 2018. Applications sent after this date will be considered until the position is filled.
Position code number: 101/2018
Application deadline: 30 September 2018