Zur Startseite von DrArbeit.de,
der deutschlandweiten Stellenbörse für Diplomarbeiten und Doktorarbeiten


Lupe2

Archiv - Stellenangebot

 

Dies ist ein Angebot aus der Datenbank von DrArbeit.de

Um die Datenbank komfortabel nach weiteren Angeboten durchsuchen zu können, klicken Sie einfach oben oder hier.

 
Archiv-Übersicht     Angebot Nr. 13208

Angebotsdatum: 21. Dezember 2018
Art der Stelle: Doktorarbeit
Fachgebiet: Informatik > Theoretische Informatik
Titel des Themas: PhD Position on "Exploiting Structural Properties of Random Wireless Network Graphs for Local Algorithm Design"

Institut: Institut für Informatik
Adresse:
Frau Esper
Universitätsstraße 1
56070 Koblenz
Tel.:    Fax.:
Bundesland: Rheinland-Pfalz
Homepage:
E-Mail Kontakt: mail

Beschreibung: 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
=======================================
Methoden:
Anfangsdatum: 1. März 2019
Geschätzte Dauer: 2 Jahre (Verlängerung geplant)
Bezahlung: TVL-13
Papers:
Sonstiges:

Archiv-Übersicht