Research assistant position, University Koblenz-Landau

[Prof. Dr. Viorica Sofronie-Stokkermans]

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 or postdoc 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. 

Such systems will be modelled as graphs with certain structural 
properties which are typically satisfied by wireless networks 
(e.g. limited communication range, spatial correlated communication links). 
In this project such properties will be described by graph axioms.
Based on the axioms local algorithms for structuring wireless graphs 
will be developed. Objectives are for example intersection free drawings, 
limited degree, connectivity, or spanner property. 

The project covers three areas:

(1) based on automatic verification, correctness of local algorithms shall 
    either be verified or falsified (in the latter case, counterexamples 
    have to be generated),

(2) local algorithms are to be designed which are correct or correct with 
     high probability under the considered graph axioms,

(3) validity of the graph axioms for describing wireless networks has to 
     be investigated by stochastic analysis or by means of simulation.

Focus of the three areas will be decided depending on the skills of
the candidate.

Besides participation in research the position includes teaching 
obligations in theoretical and technical fields of computer science.

Application letters (including a CV) must be sent by e-mail 
as a single .pdf file to:

         bewerbung at uni-koblenz-landau.de 

with Cc to sofronie at uni-koblenz.de.

*** In the subject line please indicate your name and the 
position number 140/2018 ***

To receive full consideration, applications should be received 
by ** January 31, 2019 **. Applications sent after this date will 
be considered until the position is filled.

Informal enquiries are welcome and may be sent to 
Viorica Sofronie-Stokkermans (sofronie at uni-koblenz.de). 


======================================
Position code number: 140/2018
Application deadline: 31 January 2019
=======================================