Logic List Mailing Archive

One postdoctoral and two PhD positions in "Mathematical Logic and its Applications" (Freiburg, Germany)

Starting 1st October 2005, as part of the Graduate Program

         Mathematical Logics and Applications
   (http://gradlog.informatik.uni-freiburg.de/gradlog)

of the University of Freiburg, we announce the vacancy of scholarships for

                         1 Post-Doc Position
                                and
                         2 Ph.D. Positions

for interested people, having a Master (M.Sc. or equivalent) or Ph.D. 
degree in the respective field or related. Funding is provided for a 
duration of 2-3 years. The limit in age for Post-Doc applicants is 35 
years, and 28 years for Ph.D. applicants, respectively.

The DFG-funded Graduate Program is led by Mathematics and Computer Science
 
faculty. Major topics comprise applications of mathematical logics in 
Computer Science and Algebra:

* Model Checking problems with particular focus on theory of database 
systems, artificial intelligence, and verification of hybrid systems.

* Model theory of arithmetic structures and algebraic and geometrical 
methods in model theory.

These fields of interest are represented by university professors Becker,
 
Flum, Koenigsmann, Lausen, Nebel, Prestel, and Ziegler. For further and 
more in-depth information on research topics of listed faculty, please 
refer to the URL given above.

Applications with all requested documents (CV, copies of all certificates,
 
date of graduation (Ph.D. or M.Sc.), list of publications, if available) 
must be submitted by October 1st, 2005 to the graduate programs 
representative, Prof. Dr. Georg Lausen:

       Lehrstuhl f?r Datenbanken und Informationssysteme,
       Institut f?r Informatik, Georges-K?hler-Allee, Geb?ude 51,
       D-79110 Freiburg (GERMANY)

       e-mail: gradlog@informatik.uni-freiburg.de