• Resources
  • Academic jobs
  • Research Assistant Position on "Exploiting Structural Properties of Random Wireless Network Graphs for Local Algorithm Design"
IvyTies Academic Job
Research Assistant Position on "Exploiting Structural Properties of Random Wireless Network Graphs for Local Algorithm Design"

Koblenz, Germany
Application deadline :2019-01-31
Email : %sbewerbung@uni-koblenz-landau.de
Summary
Type of job opening :Research Assistantship
Salary :1,0 EGr. 13 TV-L
Subject Area(s) :Theoretical Computer Science
Job Description

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 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 randomly generated graphs. However, such graphs are not arbitrarily random but underlie 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 a counter example has to be found),

(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. 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: bewerbung@uni-koblenz-landau.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.


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

Desired Qualifications

Applicants should have a MSc degree (or comparable University degree) in computer science, mathematics or a related discipline.

How to Apply

Application letters (including a CV) must be sent by e-mail as a single .pdf file to: bewerbung@uni-koblenz-landau.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.