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 myself. More detailed information can be found at http://www.informatik.uni-bremen.de/~lschrode/research/projects/HOL-MDL_e.ht... Applications or further enquiries may be e-mailed to my address below. -- Lutz -- ----------------------------------------------------------------------------- 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 -----------------------------------------------------------------------------