[om] [JOBs] PostDoc and Grad Student at the International University Bremen

Michael Kohlhase kohlhase+ at cs.cmu.edu
Thu Jul 31 18:34:39 CEST 2003

Dear all, 

I have just accepted a professorship in computer science at the
International University Bremen. IUB [http://www.iu-bremen.de/] is a newly
founded Anglo-Saxon style university with an expanding school of computer
science and electrical engineering. The official language at IUB is
English, and the student body is very talented and quite international
(sic). I will be starting there in September, it will be very good to be
back in Europe!

This means that I can start a group on mathematical knowledge management,
theorem proving, and knowledge representation there.

I am actively looking for enthusiastic post-docs and Ph.D. students.

If you are interested, or know of anyone who might be, please contact me by

om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems

More information about the Om mailing list