PhD Student Positions in Mathematical Logic in Computer Science at The Vienna University of Technology, Austria

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.