From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 3B7D05D4 for ; Fri, 15 May 2020 14:45:25 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.73,395,1583190000"; d="scan'208,217";a="449898792" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 May 2020 16:44:27 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 87A7C7F4D5; Fri, 15 May 2020 16:44:27 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id A0A267F467; Fri, 15 May 2020 16:44:17 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mihaela.rozman@tuwien.ac.at; spf=None smtp.mailfrom=mihaela.rozman@tuwien.ac.at; spf=None smtp.helo=postmaster@secgw1.intern.tuwien.ac.at IronPort-PHdr: =?us-ascii?q?9a23=3A6qc6Fh+chslDz/9uRHKM819IXTAuvvDOBiVQ1KB+?= =?us-ascii?q?0+0QIJqq85mqBkHD//Il1AaPAdyGraMUwLWI+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxhIiTanZb5/Lxq6oAfQu8ILnYZsN6E9xwfTrHBVYe?= =?us-ascii?q?pW32RoJVySnxb4+Mi9+YNo/jpTtfw86cNOSL32cKskQ7NWCjQmKH0169bwtRbf?= =?us-ascii?q?VwuP52ATXXsQnxFVHgXK9hD6XpP2sivnqupw3TSRMMPqQbwoXzmp8qFmQwLqhi?= =?us-ascii?q?gaLT406GHZhNJtgqJHrhyvpBJ/zIzVYI6JO/VzZbnScc8ASGdbQspdSzFND4Wh?= =?us-ascii?q?ZIUPFeoBOuNYopHzq1USqhu/BAysC/npyjNQm3T42qw60+Q7Hg7Y2AwvBdwCu2?= =?us-ascii?q?nTodXwNacSUfq6w7fMzTrZdf9WwzD96YnNch87p/GBRq5wcdffyEkuCQzFiE+c?= =?us-ascii?q?ppb5MD+PzOsNr3GW4ux9Xu2gl2ApsRt+oiSzxsgykInJgJoYxFDE+yhn3os4K8?= =?us-ascii?q?O1RVB1b9K4DJZcqT2WOpZ0T80tTWxlpSc3x7MItJKmYCQEyJcqyhrQZvGJc4WF?= =?us-ascii?q?4BLuWfifLzp+mXlrdrW/hxOo/kihzO3xTtS00FBLripbk9nDqGoB2AbP5cSdUP?= =?us-ascii?q?R94kGs0iuM2QDL8uxIPF44mKnBJ5I8zLM8ioAfvErfEiPsmkj6kbeae0Y49uSy?= =?us-ascii?q?9ujrf6nqqoWBO4NqlA3yKLkiltC9DOggLAQCQ3SX9fm52bDi40H0RLBHguAqnq?= =?us-ascii?q?XFsJ3XIMoWqrK8DgJQ04sv9RCyBCq83tsCh3kINldFdQqHj4f3P1HOJ+j1Deyh?= =?us-ascii?q?jFuwnzdqye3KMqfgApXLMnjMjq3hfbBn505A1Qoyw9Ff6IxSCr0bOv38RlX9u8?= =?us-ascii?q?bEDhMhMgy0xfjoCMll248DR26CAbWVPL7cvFOU/O4iLfWAaJUXtTrgM/Ql4uTh?= =?us-ascii?q?jX49mV8TZ6mp2p4XZWi9HvRnI0WWe2TjgtMbHmsQpAo+S+3riFiYXj5VfHuyQ7?= =?us-ascii?q?885z86CI24C4fPXJqij6Cb0CihAp1afnpGBUyUEXf0a4WEXO8BZziIIs9ujzwE?= =?us-ascii?q?UKauS4k91R60qA/6yr1nLuzI9S0fsJLjzMZ65/HSlREu9Dx0CMKd3nqWT2B0m2?= =?us-ascii?q?MIXyU50Lp+oUx70FeD0LJ3j+ZWFdxJ//lJSBs1NYbAz+xmDND/Qh7Occ2MSFai?= =?us-ascii?q?W9mmBTAxTsktw9IVeEZ8G9CijgjZ0CawAr8VkaaLBJ0u/a7G0XjxPZU193GTnq?= =?us-ascii?q?4vgVgtT+NRPmmvwKdjvUCHAIDHkk6Uv7ihca1a1TKbp0mZym/b9ntfQgt5V+GN?= =?us-ascii?q?eHEfb0bSpJ6xskbDT7ajDb1hKAxTzMeEArdXddzkixNPT7HqJIKNMCqKh26sCE?= =?us-ascii?q?PQlfu3Z43wdjBFhXiPOA0/iwkWuE2+G00+CyOm+TKMFzFlGk22JULq7eRkrjWn?= =?us-ascii?q?U1A1wgfMZkYn3qbnokdJ18zZcOsa2/c/gAlksy99RQrvw8/JCteG4QNqOqxAM4?= =?us-ascii?q?tksQV3kFnBvgk4BaSOaqVrh1oQaQNy5h+8ywhoC4hG18Eh6no2nlJ/?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CUGwBtqb5emEcegoBmHgEBCxIMQIJsL?= =?us-ascii?q?ySBI1gvLAqGMYZriQuDbgEBAZULgWcCCQEDAQoBASMKAgQBAYREAoIYHAYGNBM?= =?us-ascii?q?CEAEBBQEBAQIBAgMEARMBAQEBAQgLCwYphTEHJQELgjsigxUDAQJoCRgCASkaC?= =?us-ascii?q?w8jJQIEJwEEgw0BgX5+AQMLsR+BNIkYIYFQBoE4jh4+gRE2giUHbIEEgWMDgSY?= =?us-ascii?q?JARIBhhUEiCGGOYY9gmKBLJliAwQDgU6BAASYPh2CXYhvkgSMJIQYgUCaSIFCA?= =?us-ascii?q?gQCCQIUAYFpgQhwhClQGA1WiF2HFw4CHoFxjB90AjUCBggBAQMJfI0nAYEPAQE?= X-IPAS-Result: =?us-ascii?q?A0CUGwBtqb5emEcegoBmHgEBCxIMQIJsLySBI1gvLAqGMYZ?= =?us-ascii?q?riQuDbgEBAZULgWcCCQEDAQoBASMKAgQBAYREAoIYHAYGNBMCEAEBBQEBAQIBA?= =?us-ascii?q?gMEARMBAQEBAQgLCwYphTEHJQELgjsigxUDAQJoCRgCASkaCw8jJQIEJwEEgw0?= =?us-ascii?q?BgX5+AQMLsR+BNIkYIYFQBoE4jh4+gRE2giUHbIEEgWMDgSYJARIBhhUEiCGGO?= =?us-ascii?q?YY9gmKBLJliAwQDgU6BAASYPh2CXYhvkgSMJIQYgUCaSIFCAgQCCQIUAYFpgQh?= =?us-ascii?q?whClQGA1WiF2HFw4CHoFxjB90AjUCBggBAQMJfI0nAYEPAQE?= X-IronPort-AV: E=Sophos;i="5.73,395,1583190000"; d="scan'208,217";a="348761572" X-MGA-submission: =?us-ascii?q?MDHmhGsD0v4SXFAl3GKvPsO3peMbcuTeTEhIy7?= =?us-ascii?q?++h1kFCAWMNugHEB/9x9wR7Hq65Q2Pea3QRZp9R1UglnXXkgSpFjxbt1?= =?us-ascii?q?ywRa4uV317TDLZ1+k/ULlTNtm8FhDbV/VwHziB7B1WgPGz+RwEC74EZi?= =?us-ascii?q?gWLZZPMywV1Byl8NysNaEUCQ=3D=3D?= Received: from secgw1.intern.tuwien.ac.at ([128.130.30.71]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 15 May 2020 16:44:16 +0200 Received: from totemomail (localhost [127.0.0.1]) by secgw1.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 04FEhlrU019863; Fri, 15 May 2020 16:43:47 +0200 Received: from localhost ([127.0.0.1]) by totemomail (Totemo SMTP Server) with SMTP ID 939; Fri, 15 May 2020 16:43:47 +0200 (CEST) Received: from edge13b.intern.tuwien.ac.at (edge13b.intern.tuwien.ac.at [IPv6:2001:629:1005:30::67]) by secgw1.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 04FEhZdk019699 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=FAIL); Fri, 15 May 2020 16:43:35 +0200 Received: from mbx13d.intern.tuwien.ac.at (2001:629:1005:30::64) by edge13b.intern.tuwien.ac.at (2001:629:1005:30::67) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Fri, 15 May 2020 16:43:35 +0200 Received: from mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) by mbx13d.intern.tuwien.ac.at (2001:629:1005:30::64) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Fri, 15 May 2020 16:43:34 +0200 Received: from mbx13b.intern.tuwien.ac.at ([fe80::f0e9:7c2:196e:5846]) by mbx13b.intern.tuwien.ac.at ([fe80::f0e9:7c2:196e:5846%20]) with mapi id 15.00.1497.006; Fri, 15 May 2020 16:43:34 +0200 From: "Rozman, Mihaela" To: "office@vcla.at" Thread-Topic: Fully funded PhD in Networking and Communication Technology at the University of Vienna, Austria ***Deadline: June 7, 2020*** Thread-Index: AQHWKsal0ourLp9AiEmTGiwEZhQ+BqipOJ+s Date: Fri, 15 May 2020 14:43:34 +0000 Message-ID: <1589553814141.94755@tuwien.ac.at> References: <1589553716459.46014@tuwien.ac.at> In-Reply-To: <1589553716459.46014@tuwien.ac.at> Accept-Language: en-GB, de-AT, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-exchange-transport-fromentityheader: Hosted x-originating-ip: [80.110.122.107] Content-Type: multipart/alternative; boundary="_000_158955381414194755tuwienacat_" MIME-Version: 1.0 Subject: [Caml-list] Fully funded PhD in Networking and Communication Technology at the University of Vienna, Austria ***Deadline: June 7, 2020*** Reply-To: "Rozman, Mihaela" X-Loop: caml-list@inria.fr X-Sequence: 18143 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --_000_158955381414194755tuwienacat_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable The Communication Technologies group of the University of Vienna is looking= for a motivated student interested in pursuing a PhD on developing the fou= ndations of the next generation of reliable networks: networks which are hi= ghly automated, and verify and correct themselves autonomously, relying on= formal methods. Communication networks have become a critical infrastructu= re of our society and hence come with stringent requirements on dependabili= ty. We believe that automation can improve reliability: many network outage= s these days are due to human errors. WHAT WE OFFER -The research position is at the Faculty of Computer Science at the Univers= ity of Vienna and is fully funded.(Employment contract) -The candidate also has the opportunity to collaborate with Aalborg Univers= ity, Denmark, and engage into longer visits, if she/he is interested: Aalbo= rg University is a project partner. -Additionally, the successful candidate will have the opportunity to collab= orate 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. Wh= ile our goal is to lay the theoretical foundations of such networks, we als= o plan to prototype our ideas and ideally make a practical contribution. Fo= r 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 chec= king and algorithms, and be knowledgeable about communication networks, wit= h 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 Schmi= d, Jiri Srba, and Marc Tom Thorgersen. 14th ACM International Conference on emerging Networking EXperiments and Te= chnologies (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 historica= l 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 exce= llence-driven research landscape, with several leading research institutes = (e.g., TU Wien, University of Vienna, IST, AIT, SBA) and universities conti= nuously establishing collaborations in various fields. Finally, Vienna has = been consistently ranked by Mercer over the last years the best city for qu= ality of life worldwide. --_000_158955381414194755tuwienacat_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
The Communication Technologies group of the University of Vienna is lo= oking for a motivated student interested in pursuing a PhD on developing th= e foundations of the next generation of reliable networks: networks which a= re highly automated,  and verify and correct themselves autonomously, relying on formal methods. Communicat= ion networks have become a critical infrastructure of our society and hence= come with stringent requirements on dependability. We believe that automat= ion 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 Univers= ity of Vienna and is fully funded.(Employment contract)
-The candidate also has the opportunity to collaborate with Aalborg Univers= ity, Denmark, and engage into longer visits, if she/he is interested: Aalbo= rg University is a project partner.
-Additionally, the successful candidate will have the opportunity to collab= orate 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. Wh= ile our goal is to lay the theoretical foundations of such networks, we als= o 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 bel= ow.

 
ELIGIBILITY

The candidate should have a strong background in formal methods, model chec= king and algorithms, and be knowledgeable about communication networks, wit= h 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 Schmi= d, Jiri Srba, and Marc Tom Thorgersen.
14th ACM International Conference on emerging Networking EXperiments and Te= chnologies (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 historica= l 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 exce= llence-driven research landscape, with several leading research institutes = (e.g., TU Wien, University of Vienna, IST, AIT, SBA) and universities conti= nuously 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.
--_000_158955381414194755tuwienacat_--