Logic List Mailing Archive

PhD student position in foundations of networks, Vienna (Austria), Deadline: 7 Jun 2020

The Communication Technologies group of the University of Vienna is 
looking for a motivated student interested in pursuing a PhD on developing 
the foundations of the next generation of reliable networks: networks 
which are highly automated, and verify and correct themselves 
autonomously, relying on formal methods. Communication networks have 
become a critical infrastructure of our society and hence come with 
stringent requirements on dependability. We believe that automation can 
improve reliability: many network outages these days are due to human 
errors.

WHAT WE OFFER

-The research position is at the Faculty of Computer Science at the 
University of Vienna and is fully funded.(Employment contract)

-The candidate also has the opportunity to collaborate with Aalborg 
University, Denmark, and engage into longer visits, if she/he is 
interested: Aalborg University is a project partner.

-Additionally, the successful candidate will have the opportunity to 
collaborate with the doctoral program Logical Methods in Computer Science 
(LogiCS), run by TU Wien, TU Graz and JKU Linz, and funded by the Austrian 
Science Fund.

-We offer a productive research environment and excellent contacts to 
other universities as well as industry interested in this application 
domain. While our goal is to lay the theoretical foundations of such 
networks, we also plan to prototype our ideas and ideally make a practical 
contribution. For an idea on the kind of research we are doing in this 
area, please see the sample publications attached below.


ELIGIBILITY

The candidate should have a strong background in formal methods, model 
checking and algorithms, and be knowledgeable about communication 
networks, with a strong interest in this application domain.


APPLICATION

To apply, please send your:

-Academic curriculum vitae
-motivation letter, and
-reference letters

to Prof. Stefan Schmid by email, or use the online portal at 
https://univis.univie.ac.at/ausschreibungstellensuche/

Please do not hesitate to contact Stefan Schmid for any further 
information: ta.ca.eivinu@dimhcs_nafets

Deadline: June 7, 2020

Starting date: ideally as soon as possible, latest in October 2020.


SAMPLE PUBLICATIONS

P-Rex: Fast Verification of MPLS Networks with Multiple Link Failures
Jesper Stenbjerg Jensen, Troels Beck Krogh, Jonas Sand Madsen, Stefan Schmid, Jiri Srba, and Marc Tom Thorgersen.
14th ACM International Conference on emerging Networking EXperiments and Technologies (CoNEXT), Heraklion/Crete, Greece, December 2018.
https://www.univie.ac.at/ct/stefan/conext18.pdf

Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks
Stefan Schmid and Jiri Srba.
37th IEEE Conference on Computer Communications (INFOCOM), Honolulu, Hawaii, USA, April 2018.
https://www.univie.ac.at/ct/stefan/infocom18prefixnet.pdf


HIGHEST QUALITY OF LIFE

The Austrian city of Vienna, is located close to the Alps and surrounded 
by beautiful nature, and provides an exceptionally high quality of life, 
with a vibrant cultural scene, numerous cultural events, world-famous 
historical sites, a large international community, varied cuisine and 
famous coffee houses.

If you decide to be located in Vienna, the city features a vibrant and 
excellence-driven research landscape, with several leading research 
institutes (e.g., TU Wien, University of Vienna, IST, AIT, SBA) and 
universities continuously establishing collaborations in various fields. 
Finally, Vienna has been consistently ranked by Mercer over the last years 
the best city for quality of life worldwide.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam