[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Fwd: [Dbworld] 10 PhD student positions in Computation
[Axiom-developer] Fwd: [Dbworld] 10 PhD student positions in Computational Logic at Vienna University of Technology
Thu, 14 Oct 2010 11:16:43 -0400
Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:188.8.131.52) Gecko/20100825 Thunderbird/3.1.3
---------- Forwarded message ----------
From: Thomas Krennwallner<address@hidden>
Date: Mon, Sep 20, 2010 at 6:45 PM
Subject: [Dbworld] 10 PhD student positions in Computational Logic at
Vienna University of Technology
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
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.
TU Wien has a strong international reputation in various fields
targeted in the program, including
* Logic in Databases,
* Computer Aided Verification,
* Constraint Satisfaction and Satisfiability,
* Knowledge Representation and Reasoning,
* Finite Model Theory,
* Quantum Information and Recursion Theory,
* Proof Theory and Automated Deduction,
* Many Valued and Fuzzy Logic,
* Complexity Theory,
* Set Theory.
The program is interdisciplinary and fosters the application of
Mathematical Logic to Computer Science; two envisaged key application
* 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
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.
Each PhD student position is funded for three years (regular
employment contract with full social benefits). The yearly salary ranges
from a minimum of 12,724 Euro to 25,915 Euro before taxes, depending
on cofunding via associated projects.
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/.
For additional information, please send email to
Please do not post msgs that are not relevant to the database
community at large. Go to www.cs.wisc.edu/dbworld for guidelines and
To unsubscribe, go to https://lists.cs.wisc.edu/mailman/listinfo/dbworld
|[Prev in Thread]
||[Next in Thread]|
- [Axiom-developer] Fwd: [Dbworld] 10 PhD student positions in Computational Logic at Vienna University of Technology,
Tim Daly <=