Logic List Mailing Archive

PhD position in Monadic Computational Logics, Bremen (Germany),

PHD POSITION IN MONADIC COMPUTATIONAL LOGICS,
UNIVERSITY OF BREMEN, GERMANY
* A 3-year PhD-Position is available in the project
  "Monadic Computational Logics in HOL" at the University of Bremen.
  The project is concerned with the implementation and further
  development of monadic computational logics, including
  monadic Hoare logic and monadic dynamic logic as well as
  extensions covering exception handling, as introduced by Till
  Mossakowski and Lutz Schroeder.
* More detailed information can be found at
  
http://www.informatik.uni-bremen.de/~lschrode/research/projects/HOL-MDL_e.htm
* Applications or further enquiries may be e-mailed to
    Lutz Schroeder                  Phone +49-421-218-4683
    Dept. of Computer Science       Fax +49-421-218-3054
    University of Bremen            lschrode@informatik.uni-bremen.de
    P.O.Box 330440, D-28334 Bremen
    http://www.informatik.uni-bremen.de/~lschrode