Wednesday, September 5, 2018

[DMANET] Research Assistant Position on Theoretical Modelling and Verification of Wireless Networked Automatic Assistant Systems

The Computer Science department of the University Koblenz-Landau
  (Campus Koblenz) invites applications for the position of a

                        research assistant
         (wissenschaftlicher Mitarbeiter/Mitarbeiterin)
                        (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

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

Prof. Dr. Hannes Frey
AG Rechnernetze
Universität Koblenz-Landau

* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.