AISB opportunities Bulletin Item
PhD student position in logic and graph theory, GERMANY
FULLY FUNDED PH.D. STUDENTSHIP IN LOGIC AND GRAPH THEORY AT THE TECHNICAL UNIVERSITY BERLIN, Berlin (Germany)
* The Logic and Semantics Research Group at the Institute for Software Engineering and Theoretical Computer Science at the Technical University, Berlin, Germany, is offering a fully funded Ph.D. studentship in the area of logic or graph theory. The closing date for applications is 28th August 2011. See http://logic.las.tu-berlin.de for further information. * The research pursued in the group revolves around finite and computational model theory, algorithmic and structural graph theory, database theory, automata-theory and temporal and modal logics in the context of verification. * Candidates must have a degree (master or diploma level) in Computer Science or Mathematics and must have a strong interest in theoretical computer science. Furthermore, candidates should have good knowledge in at least one of the following areas: - Structural or algorithmic graph theory, such as graph decompositions, graph minor theory or matroid theory, parametrized and general graph algorithms. - Logic, broadly construed, in particular areas such as finite and computational model theory, automata theory, database theory and verification * Good command of English is expected. Knowledge of German is not required. * The position is fully funded. The successful candidate will be expected to participate in teaching for up to four hours a week during term time, usually in form of tutorials and assistance with reading courses. * See http://logic.las.tu-berlin.de for further information on the application procedure. * For further information please contact Stephan Kreutzer, email: firstname.lastname@example.org, tel: +49 30 314 29088.