From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 223287F0A3; Mon, 31 Aug 2015 19:41:09 +0200 (CEST) IronPort-PHdr: 9a23:U4ydgBHKicZGD61CPPMVt51GYnF86YWxBRYc798ds5kLTJ75o8qwAkXT6L1XgUPTWs2DsrQf27GQ7PmrADVcqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh7v0pMSYOlwUzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IVKThZKU+QvRkK3woMm0x6IWr7kGCHkOh/HwZB0gEkx0AKQHf8BbxVZa55ibot+070iCAIcr9RrEcRSm97qptDhbjzi4bYW1quFrLg9B92foI6CmqoAZyltWMbQ== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ezio.bartocci@tuwien.ac.at; spf=None smtp.mailfrom=ezio.bartocci@tuwien.ac.at; spf=None smtp.helo=postmaster@mail2.vmars.tuwien.ac.at Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of ezio.bartocci@tuwien.ac.at) identity=pra; client-ip=128.130.39.32; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ezio.bartocci@tuwien.ac.at"; x-sender="ezio.bartocci@tuwien.ac.at"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of ezio.bartocci@tuwien.ac.at) identity=mailfrom; client-ip=128.130.39.32; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ezio.bartocci@tuwien.ac.at"; x-sender="ezio.bartocci@tuwien.ac.at"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail2.vmars.tuwien.ac.at) identity=helo; client-ip=128.130.39.32; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ezio.bartocci@tuwien.ac.at"; x-sender="postmaster@mail2.vmars.tuwien.ac.at"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A4CADGkORVnCAngoBdg29dDAGDIqd0kW54giuBb4Q2gT4QAQEBAQEBAQEQAQEBAQEIFAlPgh2BfjKBAzACSyeFcoI8DaIxj2OQDoRUAR+GcIIOhVmFDg8ggRQFlUGFB4JthQCBSkaDbJRuEYFrATaBdG+CTQEBBQ X-IPAS-Result: A0A4CADGkORVnCAngoBdg29dDAGDIqd0kW54giuBb4Q2gT4QAQEBAQEBAQEQAQEBAQEIFAlPgh2BfjKBAzACSyeFcoI8DaIxj2OQDoRUAR+GcIIOhVmFDg8ggRQFlUGFB4JthQCBSkaDbJRuEYFrATaBdG+CTQEBBQ X-IronPort-AV: E=Sophos;i="5.17,442,1437429600"; d="scan'208,217";a="175492043" Received: from merkur.vmars.tuwien.ac.at (HELO mail2.vmars.tuwien.ac.at) ([128.130.39.32]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 31 Aug 2015 19:41:07 +0200 Received: from mac2015.vmars.tuwien.ac.at (mac2015.vmars.tuwien.ac.at [128.130.39.82]) by mail2.vmars.tuwien.ac.at (Postfix) with ESMTPSA id A496A227DD; Mon, 31 Aug 2015 19:41:06 +0200 (CEST) From: Ezio Bartocci Content-Type: multipart/alternative; boundary="Apple-Mail=_944ADD17-0C01-4420-A4CA-E08DDF55E057" Date: Mon, 31 Aug 2015 19:41:06 +0200 Message-Id: Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2104\)) X-Mailer: Apple Mail (2.2104) X-Validation-by: ezio.bartocci@tuwien.ac.at Subject: [Caml-list] Open Postdoc Position in formal methods applied to timed systems --Apple-Mail=_944ADD17-0C01-4420-A4CA-E08DDF55E057 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 The Institute of Computer Engineering at Vienna (http://ti.tuwien.ac.at/) U= niversity of Technology is seeking a candidate for a postdoctoral research = position (one year with the posibility to renew for up to other two years),= starting as soon as possible. The successful applicant will carry out his/= her postdoc in the research area of formal methods applied to the verificat= ion and synthesis of timed systems with faults and delays, including distri= buted systems. This task is part of the recently granted Austrian FWF Natio= nal Research Network =E2=80=9CRiSE=E2=80=9D (2nd funding period, http://ari= se.or.at/nfn/shine-organization-and-subprojects/), to be led by Ass.-Prof. = Ezio Bartocci in collaboration with Prof. Ulrich Schmid and Prof. Radu Gros= u and with the other PIs of RiSE: http://arise.or.at/principal-investigator= s/. Task Description (Task leader Ezio Bartocci):=20 Modeling and Analysis of Parametric, Probabilistic and Parameterized Timed = Systems (Applications). To master the overwhelming complexity of manual co= rrectness proofs of continuous-time distributed systems, computer-aided met= hods that can deal with symbolic timing parameters (=E2=80=9Cparametric=E2= =80=9D) and symbolic system sizes (=E2=80=9Cparameterized=E2=80=9D) are req= uired. Besides the question of how to deal with the overwhelming complexity= , answering the question of how to incorporate (probabilistic) faults will = be addressed in collaboration with PP12 (Grosu), PP07 (Chatterjee) and PP11= (Kirsch). In order to extend our framework to also cover message-passing d= istributed systems with parameterized system size, novel abstraction techni= ques and/or cutoff results will be developed in a collaboration with PP03 (= Veith). The specific requirements for this postdoc position are the following:=20 A completed PhD in Computer Science=20 Experience in developing tools Solid experience in timed automata and/or probabilistic timed automata (pos= sibly parametric and/or parametrized) Very good English skills (writing, speaking) A promising publication record =20 The Technische Universit=C3=A4t Wien (TU Wien) has about 20,000 students an= d a heavy emphasis on research in the sciences and engineering. TU Wien com= prises eight faculties - mathematics and geo-information, physics, technica= l chemistry, informatics, civil engineering, architecture and regional plan= ning, mechanical engineering and business science, electrical engineering a= nd information technology. The Faculty of Informatics of the TU Wien compri= ses about 3,000 students. The Institute of Computer Engineering (ICE) is one of its seven computer sc= ience institutes. The ICE=E2=80=99s research and teaching activities focus = on the area of cyber-physical systems and dependable embedded systems. Our = activities are at the heart of the primary research area Technische Informa= tik (Computer Engineering) of the Faculty of Informatics, and integrate com= puter science, discrete and continuous systems theory, and microelectronics= in a holistic approach. Major research areas are hybrid systems, real-time= systems, fault-tolerant distributed algorithms, and dependable digital cir= cuit architectures. Particular research activities range from formal/mathem= atical modeling and analysis over SW/HW architectures to microcontroller pr= ogramming and FPGA/VLSI design. Salary The salary of the postdoctoral researcher will be of around 49000 Euro gros= s per year. Applications, including any attachments, should be submitted by the 15th of= September to the following emails: ezio.bartocci@tuwien.ac.at, s@ecs.tuwie= n.ac.at, radu.grosu@tuwien.ac.at. The following documents must be attached to the application: - Cover letter stating the candidate's motivation to apply, and the reason(= s) why they should be selected for the position - A CV - Three publications that are deemed relevant to the postdoctoral project - Two reference letters =20 Contact details For further information and enquiries about this post please contact Ezio B= artocci, e-mail: ezio.bartocci@tuwien.ac.at.= --Apple-Mail=_944ADD17-0C01-4420-A4CA-E08DDF55E057 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 The Institute of Computer Eng= ineering at Vienna (http://t= i.tuwien.ac.at/) University of Technology is seeking a candidate for a = postdoctoral research position (one year with the posibility to renew for u= p to other two years), starting as soon as possible. The successful applica= nt will carry out his/her postdoc in the research area of formal methods ap= plied to the verification and synthesis of timed systems with faults and de= lays, including distributed systems. This task is part of the recently gran= ted Austrian FWF National Research Network =E2=80=9CRiSE=E2=80=9D (2nd fund= ing period, http://arise.or.at/nfn/shine-organization-and-subproject= s/), to be led by Ass.-Prof. Ezio Bartocci in collaboration with Prof. = Ulrich Schmid and Prof. Radu Grosu and with the other PIs of RiSE: http://arise.or= .at/principal-investigators/.

Task Description (Task leader Ezi= o Bartocci): 

Modeling and Analysis of Parametric, Probabilist= ic and Parameterized Timed Systems  (Applications). To master the over= whelming complexity of manual correctness proofs of continuous-time distrib= uted systems, computer-aided methods that can deal with symbolic timing par= ameters (=E2=80=9Cparametric=E2=80=9D) and symbolic system sizes (=E2=80=9C= parameterized=E2=80=9D) are required. Besides the question of how to deal w= ith the overwhelming complexity, answering the question of how to incorpora= te (probabilistic) faults will be addressed in collaboration with PP12 (Gro= su), PP07 (Chatterjee) and PP11 (Kirsch). In order to extend our framework = to also cover message-passing distributed systems with parameterized system= size, novel abstraction techniques and/or cutoff results will be developed= in a collaboration with PP03 (Veith).


The specific requirements for this postdoc position are the= following: 

A completed PhD in Computer Science <= br style=3D"color: rgb(34, 34, 34); font-family: arial, sans-serif; backgro= und-color: rgb(255, 255, 255);" class=3D"">Experience in developing tools
Solid experience in timed automata and/or probab= ilistic timed automata (possibly parametric and/or parametrized)
Very good English skills (writing, speaking)
A promising publication record=

 

The Technische Universit=C3=A4t Wien (TU Wien) has about 2= 0,000 students and a heavy emphasis on research in the sciences and enginee= ring. TU Wien comprises eight faculties - mathematics and geo-information, = physics, technical chemistry, informatics, civil engineering, architecture = and regional planning, mechanical engineering and business science, electri= cal engineering and information technology. The Faculty of Informatics of t= he TU Wien comprises about 3,000 students.

The Institute of Compu= ter Engineering (ICE) is one of its seven computer science institutes. The = ICE=E2=80=99s research and teaching activities focus on the area of cyber-p= hysical systems and dependable embedded systems. Our activities are at the = heart of the primary research area Technische Informatik (Computer Engineer= ing) of the Faculty of Informatics, and integrate computer science, discret= e and continuous systems theory, and microelectronics in a holistic approac= h. Major research areas are hybrid systems, real-time systems, fault-tolera= nt distributed algorithms, and dependable digital circuit architectures. Pa= rticular research activities range from formal/mathematical modeling and an= alysis over SW/HW architectures to microcontroller programming and FPGA/VLS= I design.

Salary
=
The salary of the postdoctoral researcher = will be of around 49000 Euro gross per year.

Applications, includin= g any attachments, should be submitted by the 15th of September to the foll= owing emails: ezio= .bartocci@tuwien.ac.at, s@ecs.tuwien.ac.at, radu.grosu@tuwien.ac.at.

The following documents must be = attached to the application:

- Cover letter stating the candidate= 's motivation to apply, and the reason(s) why they should be selected for t= he position
- A CV
- Three publications that are deemed relevant to th= e postdoctoral project
- Two referen= ce letters

 

Contact details

For further infor= mation and enquiries about this post please contact Ezio Bartocci, e-mail: = ezio.bartocci@tuwi= en.ac.at.= --Apple-Mail=_944ADD17-0C01-4420-A4CA-E08DDF55E057--