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. 13030

Angebotsdatum: 5. September 2018
Art der Stelle: Doktorarbeit
Fachgebiet: Informatik > Theoretische Informatik
Titel des Themas: Research Assistant Position on Theoretical Modelling and Verification of Wireless Networked Automatic Assistant Systems

Institut: Institut für Informatik
Adresse:
Prof. Frey
Universitätsstraße 1
56070 Koblenz
Tel.:    Fax.:
Bundesland:
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. 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:

bewerbung@uni-koblenz-landau.de

*** 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
=======================================

Methoden:
Anfangsdatum: 5. September 2018
Geschätzte Dauer: 2 Jahre
Bezahlung:
Papers:
Sonstiges:

Archiv-Übersicht