[ecoop-info] Open PhD Position in Timing Analysis at TU Vienna, Austria

[Jens Knoop]

*******************************
PhD Position in Timing Analysis
*******************************

PhD Position in
   Timing Analysis for the Verification
   of Safety-Critical Real-Time Systems

--------------------------
Overview
--------------------------
The Compilers and Languages Group of the Institute of Computer Languages
at the Computer Science Department of the
   Vienna University of Technology, Austria
is recruiting a phd student to work on timing analysis technologies
for the verification of safety-critical real-time systems.

The goal of the phd research position is to
advance the state-of-the-art in the execution time analysis of software,
by combining computational logic and
symbolic computation techniques in a uniform framework.

The PhD student will have access to the excellent facilities
of the Computer Science Department of the Vienna University of Technology,
and will be working in an internationally recognized research community.

--------------------------
Funding
--------------------------
A phd position is a regular job with social benefits.
The position is funded for three years.

Vienna has just been voted #1 in the world for quality of life 
<%3Chttp://www.mercer.com/referencecontent.htm?idContent=1173105#Top_50_cities:_Quality_of_living%3E>. 


--------------------------
Requirements
--------------------------
Mandatory requirements for successful applications are:

* Strong interest in research
* Excellent university degree in computer science
* Knowledge in mathematical logic, formal methods, automated 
  theorem proving, static program analyzing, and software verification
* Excellent communication skills, both oral and written, in English

Experience in computer algebra and algorithmic combinatorics is
advantageous but not required.


--------------------------
Application and Important Dates
--------------------------
Applications should be directly sent to
the

Human Resource Department 
(Personalabteilung für das wissenschaftliche Personal)
of the Vienna University of Technology
Karlsplatz 13
1040 Vienna
Austria


Deadline for sending applications: January 7, 2010.
Planned starting date of the position: March 1, 2010.


Applications should include
* a one-page description  of research interests,
* a curriculum vitae and a photograph,
* a list of courses that have been taken during the university 
  studies of the applicant, including the number of hours credited 
  and the grades,

and contain preferably
* two letters of recommendation from international scientists.


For more detail, please visit the official announcement of the Vienna
University of Technology, Austria:
       https://tiss.tuwien.ac.at/mbl/main/mbl?n=3509#p292.3

General information about the Compilers and Languages Group at
the Faculty of Informatics of the Vienna University 
of Technology can be found at
http://www.complang.tuwien.ac.at/english