[Austria] 10 PhD Student Positions in Mathematical Logic in Computer Science at The Vienna University of Technology

Name: 
10 PhD Student Positions in Mathematical Logic in Computer Science at The Vienna University of Technology, Austria
Host (Institutions): 
The Vienna University of Technology (TU Wien)
Type: 
Studentship
Field of Study: 

Mathematical Logic in Computer Science

Award: 

Each year 12,724 Euro to 25,915 Euro before taxes, depending on cofunding via associated projects

Grade: 
PhD, Doctoral
Target: 

Worldwide

The Vienna University of Technology (TU Wien) is offering 10 PhD student positions within the doctoral program "Mathematical Logic in Computer Science" which is launched in Fall 2010; five of the positions are reserved for female applicants.

The program is interdisciplinary and fosters the application of Mathematical Logic to Computer Science; two envisaged key application areas are

  • Model-Based Design and Verification,
  • Advanced Information Systems.

The faculty of the program consists of M. Baaz, A. Ciabattoni, T. Eiter (coordinator), M. Goldstern, G. Gottlob (associated), A. Leitsch, R. Pichler, K. Svozil, S. Szeider, H. Veith and S. Woltran.

Candidates must have an MSc or equivalent degree in Computer Science, Mathematics or related fields, and an excellent record of study. They should have solid basic knowledge in logic, discrete mathematics, and computer science; knowledge in fields targeted in the program is desired.

Study in: 
The Vienna University of Technology (TU Wien), Austria
Deadline: 
March 15, 2011
Scholarships: 
Region: 
Website: 

Click here for more information about this PhD Studentship

Comments

Add new comment

The content of this field is kept private and will not be shown publicly.