TU Wien: 10 PhD student positions in Mathematical Logic in Computer Science

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 jointly organized by the faculties of Informatics, Mathematics, and Physics, with a strong emphasis on Logic in Computer Science; computational logic is one of the priority research areas of the Faculty of Informatics. two envisaged key application areas are "Model-Based Design and Verification" and "Advanced Information Systems".

Applications are solicited starting immediately, and will be considered starting from September 10, 2010, until all positions are filled, but no longer than March 15, 2011.

Further details about the program and the application procedure are available at http://www.dbai.tuwien.ac.at/drkolleg/, or contact dk-info at dbai.tuwien.ac.at.