From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8460 Path: news.gmane.org!not-for-mail From: Ezio Bartocci Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories,gmane.science.mathematics.logic.coq.club,gmane.science.mathematics.petri-nets Subject: Open PhD position at TU Wien Date: Thu, 15 Jan 2015 14:02:28 +0100 Message-ID: <2C5558F9-C186-4E3B-8802-8ADEA59C79BD@tuwien.ac.at> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) Content-Type: multipart/mixed; boundary="===============6832105879894936505==" X-Trace: ger.gmane.org 1421336516 6857 80.91.229.3 (15 Jan 2015 15:41:56 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 15 Jan 2015 15:41:56 +0000 (UTC) To: agents-iAiprmkJuSSVc3sceRu5cw@public.gmane.org, appsem-LsC0HFERGYsdnm+yROfE0A@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, compunode-+P+vc6CWJaVg9hUCZPvPmw@public.gmane.org, concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org, coq-club-YJlLV9CSrF6HKRXNmLAf3lAUjnlXr6A1@public.gmane.org, ecoop-info-khN00PUlwG3YtjvyW6yDsg@public.gmane.org, fmics-xhhIRkXa/2pvynnTyRI/EA@public.gmane.org, isabelle-users-kDbDZe0LBGWFxr2TtlUqVg@public.gmane.org, lics-jNDFPZUTrfT1r4uDOcZfYxQ0avMEgXv9@public.gmane.org, list-6f2JOXctL+67Jn3c8fOrWw@public.gmane.org, logic-announce-wKGAKkUoendNUtnGCQ6U1fZ8FUJU4vz8@public.gmane.org, logic-list-pxSi+dnQzZMxHbG02/KK1g@public.gmane.org, mailinglist-UYyDbajZw9Ng9hUCZPvPmw@public.gmane.org, moca-announce-HnE2qM1WCGk4M/bo5TPICw@public.gmane.org, papm-jNDFPZUTrfRp3KkYoAkZooXGvZO2VSpW@public.gmane.org, performance-cUlkEV9Ws13QAyQhgwMYSA@public.gmane.org, petrinet-jNDFPZUTrfQBEfOqpokbeYV0Y/DQsy6Ps0AfqQuZ5sE@public.gmane.org, prog-lang-dAYI7NvHqcQ@public.gmane.org, puml-list-l9TVMAoMiWs2EctHIo1CcQ@public.gmane.org, pvs-1VPwtPCARB1BDgjK7y7TUQ@public.gmane.org, qest-announce-gKxmbi6P6OL2fBVCVOL8/A@public.gmane.org, seworld-cDm04SImthVAfugRpC6u6w@public.gmane.org, theorem-provers-iSp611qFfoI3uPMLIKxrzw@public.gmane.org, theory-logic-ETDLCGt7PQU3uPMLIKxrzw@public.gmane.org, theorynt-JX7+OpRa80RAtAYDKi7u6De48wsgrGvP@public.gmane.org, types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, fpga-list-xGejAJT2w6wTTAidtnJ9SlYb9Z1tHuCd@public.gmane.org Original-X-From: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Thu Jan 15 16:41:48 2015 Return-path: Envelope-to: gcst-types-announce-Uylq5CNFT+jYtjvyW6yDsg@public.gmane.org Original-Received: from rhizome.seas.upenn.edu ([158.130.69.24]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1YBmYC-0003Hk-DE; Thu, 15 Jan 2015 16:41:36 +0100 Original-Received: from RHIZOME.SEAS.UPENN.EDU (LOCALHOST.UPENN.EDU [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.14.5/8.14.3) with ESMTP id t0FFG3e9009339; Thu, 15 Jan 2015 10:16:17 -0500 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from telepathy.seas.upenn.edu (telepathy.seas.upenn.edu [158.130.68.71]) by RHIZOME.seas.upenn.edu (8.14.5/8.14.3) with ESMTP id t0FDBIfT006166 for ; Thu, 15 Jan 2015 08:11:18 -0500 Original-Received: from mail.vmars.tuwien.ac.at (luna.vmars.tuwien.ac.at [128.130.39.29]) by telepathy.seas.upenn.edu (8.14.5/8.14.3) with ESMTP id t0FDBBJH009021 for ; Thu, 15 Jan 2015 08:11:17 -0500 Original-Received: from [127.0.0.1] (luna.vmars.tuwien.ac.at [128.130.39.29]) (authenticated bits=0) by mail.vmars.tuwien.ac.at (8.13.1/8.13.1) with ESMTP id t0FD2SkI019161 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO); Thu, 15 Jan 2015 14:02:30 +0100 X-Mailer: Apple Mail (2.1878.6) X-Proofpoint-Virus-Version: vendor=nai engine=5400 definitions=5800 signatures=585085 X-Spam-Level: X-Proofpoint-Spam-Details: rule=spam_score_tagging policy=default score=0 spamscore=0 ipscore=0 suspectscore=0 phishscore=0 bulkscore=0 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=7.0.1-1111160001 definitions=main-1501150127 X-Proofpoint-SpamScore: 0 X-Mailman-Approved-At: Thu, 15 Jan 2015 10:16:00 -0500 X-BeenThere: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Original-Sender: "Types-announce" Xref: news.gmane.org gmane.comp.science.types.announce:4980 gmane.science.mathematics.categories:8460 gmane.science.mathematics.logic.coq.club:14560 gmane.science.mathematics.petri-nets:4322 Archived-At: --===============6832105879894936505== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --===============6832105879894936505== Content-Type: multipart/alternative; boundary="Apple-Mail=_180A486F-4981-47A3-B766-88B3328AB32C" --Apple-Mail=_180A486F-4981-47A3-B766-88B3328AB32C Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=windows-1252 PhD on Probabilistic Analysis of Distributed Systems at the Institute of Computer Engineering at the Vienna University of Technology, Vienna, Austria The Institute of Computer Engineering at Vienna (http://ti.tuwien.ac.at/) University of Technology is seeking for a PhD candidate, starting March 2015. The successful applicant will carry out his/her PhD in the research area of statistical verification of (distributed) cyber-physical systems based=20= on advanced sequential Monte-Carlo (particle filtering) techniques=20 such as importance sampling and importance splitting. This task is part of the recently granted Austrian FWF National Research Network =93RiSE=94 (2nd funding period), to be led by Prof. Radu Grosu in collaboration with Prof. Armin Biere and Ass.-Prof. Ezio Bartocci and with the other PIs of RiSE: http://arise.or.at/principal-investigators/ The candidates shall satisfy one or more of the following requirements: - A degree in Computer Engineering, Computer Science, Mathematics, or = related disciplines. - Excellent Knowledge in verification, particle filtering, particle = swarm optimisation - Curiosity and out-of-the-box thinking - Very good English skills (writing, speaking) Knowledge of German is welcome but not required. The positions will be fully funded for 3 years with competitive = salaries. In addition, PhD candidates will be provided with a laptop and funding = for travel expenses, including visits to conferences, workshops and other = research groups. The Technische Universit=E4t Wien (TU Wien) has about 20,000 students and a heavy emphasis on research in the sciences and engineering. TU Wien comprises eight faculties - mathematics and geo-information, physics, technical chemistry, informatics, civil engineering, architecture and regional planning, mechanical engineering and business science, electrical engineering and information technology. The Faculty of Informatics of the TU Wien comprises about 3,000 students. The Institute of Computer Engineering (ICE) is one of its seven computer science institutes. The ICE=92s 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 Informatik (Computer Engineering) of the Faculty of Informatics, and integrate computer 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 circuit architectures. Particular research activities range from formal/mathematical modeling and analysis over SW/HW architectures to microcontroller programming and FPGA/VLSI design. Salary The RiSE project is funded by the Austrian Science Fund (Fonds zur F=F6rderung der wissenschaftlichen Forschung, FWF). In accordance with FWF regulations and the collective bargaining agreement of the Austrian universities, the doctoral students will be employed as a researcher at a yearly salary of EUR 20,047.38 after taxes and social/health insurance deductions (effective April 2014; the average Austrian salary over all age groups is EUR 20,596.00). There are additional salary supplements and tax deductions for families with children. Applications, including any attachments, should be submitted by the 1st of February to the following emails: radu.grosu-8zxNtbQCHXIjuwv8T7myQQ@public.gmane.org, ezio.bartocci-8zxNtbQCHXIjuwv8T7myQQ@public.gmane.org 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 curriculum vitae - Grades transcriptions and certificates - At least one reference letter Shortlisted applicants are expected to be interviewed during the first week of February 2015.= --Apple-Mail=_180A486F-4981-47A3-B766-88B3328AB32C Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=windows-1252

 PhD on Probabilistic Analysis of = Distributed Systems
at the Institute of Computer Engineering at = the
Vienna University of Technology, Vienna, Austria

The = Institute of Computer Engineering at Vienna
(http://ti.tuwien.ac.at/) University of = Technology
is seeking for a PhD candidate, starting March = 2015.

The successful applicant will
carry out his/her PhD in = the research area of
statistical verification of (distributed) = cyber-physical systems based
on advanced sequential Monte-Carlo = (particle filtering) techniques
such as importance sampling and = importance splitting.
This task is part of the recently granted = Austrian
FWF National Research Network =93RiSE=94 (2nd funding
= period), to be led by Prof. Radu Grosu
in collaboration with Prof. = Armin Biere and
Ass.-Prof. Ezio Bartocci and with the other PIs of = RiSE:

http://arise.or.at/principal-investigators/

=

The candidates shall satisfy one or more of the following = requirements:

- A degree in Computer Engineering, Computer = Science, Mathematics, or related disciplines.
- Excellent = Knowledge in verification, particle filtering, particle swarm = optimisation
- Curiosity and out-of-the-box thinking
- = Very good English skills (writing, speaking)

Knowledge of German = is welcome but not required.

The positions will be fully funded = for 3 years with competitive salaries.
In addition, PhD candidates = will be provided with a laptop and funding for
travel expenses, = including visits to conferences, workshops and other research = groups.

The Technische Universit=E4t Wien (TU Wien) has about = 20,000
students and a heavy emphasis on research in the
sciences = and engineering. TU Wien comprises eight faculties
- mathematics and = geo-information, physics, technical
chemistry, informatics, civil = engineering, architecture
and regional planning, mechanical = engineering and business
science, electrical engineering and = information technology.
The Faculty of Informatics of the TU Wien = comprises
about 3,000 students.

The Institute of Computer = Engineering (ICE) is one of its seven computer
science institutes. = The ICE=92s 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 = Informatik (Computer
Engineering) of the Faculty of Informatics, and = integrate
computer 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 = circuit
architectures. Particular research activities range from
= formal/mathematical modeling and analysis over SW/HW
architectures = to microcontroller programming and
FPGA/VLSI = design.


Salary
The RiSE project is = funded by the Austrian Science Fund

(Fonds zur F=F6rderung = der wissenschaftlichen Forschung, FWF).
In accordance with FWF = regulations and the collective bargaining
agreement of the Austrian = universities, the doctoral students will
be employed as a researcher = at a yearly salary of EUR 20,047.38
after taxes and social/health = insurance deductions (effective
April 2014; the average Austrian = salary over all age groups is
EUR 20,596.00). There are additional = salary supplements and tax
deductions for families with = children.

Applications, including any attachments, should be
= submitted by the 1st of February to the following emails:
radu.grosu-8zxNtbQCHXIjuwv8T7myQQ@public.gmane.org, ezio.bartocci-8zxNtbQCHXIjuwv8T7myQQ@public.gmane.org

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 = curriculum vitae
- Grades transcriptions and certificates
- = At least one reference letter

Shortlisted applicants are expected = to be interviewed during
the first week of February = 2015.

= --Apple-Mail=_180A486F-4981-47A3-B766-88B3328AB32C-- --===============6832105879894936505==--