[TYPES] PhD position in Monadic Computational Logics

[Lutz Schroeder]

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.htm

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 at informatik.uni-bremen.de
P.O.Box 330440, D-28334 Bremen
http://www.informatik.uni-bremen.de/~lschrode
-----------------------------------------------------------------------------