An der Technischen Universität Wien sind im Rahmen des Doktoratskollegs "Mathematical Logic in Computer Science" voraussichtlich ab 1.10.2010 für die Dauer von 3 Jahren 10 Stellen für Kollegiat/inn/en mit einem Beschäftigungsausmaß von 15-30 Wochenstunden (in Abhängigkeit von Kofinanzierung durch assoziierte Projekte) zu besetzen; das Jahresbruttogehalt liegt zwischen 12,724 und 25,915 Euro. Fünf der Stellen sind für Kandidatinnen reserviert. Das Doktoratskolleg wird gemeinsam von den Fakultäten für Informatik, Mathematik und Geoinformation, und für Physik organisiert mit besonderer Berücksichtigung der Logik in der Informatik; computationale Logik ist einer der zwei Förderschwerpunkte der Fakultät für Informatik. Die im Doktoratskolleg vertretenen Bereiche beinhalten * 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. Das Programm ist interdisziplinär und forciert die Anwendung von mathematischer Logik in der Informatik; ins Auge gefasste Schlüsselbereiche für Anwendungen sind * Model-Based Design and Verification, * Advanced Information Systems. Aufnahmebedingungen: abgeschlossenes Magister-, Diplom- oder Masterstudium der Fachrichtung Informatik, Mathematik, Logik oder eines verwandten Gebiets bzw. gleichwertiges Universitätsstudium im Ausland, sowie ein hervorragender Studienerfolg. Solide Grundkenntnisse in Logik, Diskreter Mathmatik und Informatik werden erwartet, Kenntnisse in den vertretenen Bereichen sind erwünscht. Sonstige Anforderungen: Im Rahmen dieses Doktoratskollegs hat der/die Arbeitnehmer/in Leistungen im Zusammenhang mit seiner/ihrer Dissertation zu erbringen. Bewerbungsfrist: ab Verlautbarung im Mitteilungsblatt der TU Wien, bis spätestens 15. März 2011. Einlangende Bewerbungen werden ab dem 10. September 2010 berücksichtigt; die Aufnahme erfolgt kontinuerlich bis alle Stellen besetzt sind. Weitere Kandidat/inn/en bleiben bis Ablauf der Frist im Bewerb. Weitere Informationen zum Doktoratskolleg und zur Bewerbung sind unter http://www.dbai.tuwien.ac.at/drkolleg/ verfügbar. Die Technische Universität Wien strebt eine Erhöhung des Frauenanteils insbesondere in Leitungsfunktionen und beim wissenschaftlichen Personal an und fordert deshalb qualifizierte Frauen ausdrücklich zur Bewerbung auf. Bewerberinnen, die gleich geeignet sind wie der bestqualifizierte Mitbewerber, werden vorrangig aufgenommen, sofern nicht in der Person des Mitbewerbers liegende Gründe überwiegen. Behinderte Menschen mit entsprechender Qualifikation werden ausdrücklich zur Bewerbung aufgefordert. Die Bewerber und Bewerberinnen haben keinen Anspruch auf Abgeltung aufgelaufener Reise- und Aufenthaltskosten, die aus Anlass des Aufnahmeverfahrens entstanden sind.