CoFI workshop and summer school; CoFI/CASL logos

[Till Mossakowski <till@informatik.uni-bremen.de>]

Dear friends,

we have some good news in Bremen:
there are two open positions closely related to CoFI!

One is in the research project MULTIPLE (together with
Till Mossakowski), the other one in the reserach project
HasCASL (together with Lutz Schroeder).
MULTIPLE is about extending CASL to heterogeneous
specification in different logics. HasCASL is about a
higher-order extension of CASL aiming at programs
written in Haskell.

More about the projects and the positions can be found under

http://www.informatik.uni-bremen.de/cofi/projects

Both projects are funded by the Deutsche Forschungsgemeinschaft (DFG). 
Both positions are for two years, with the additional option for 
another two years (depending on the success of the projects -
and they will be successful, of course ...).
Salary is BAT IIa (full time), which means about 35.000 Euros/year.

In addition to successful university studies in computer science, 
experience and skills in functional programming (e.g. Haskell, ML) 
are expected. Familiarity with at least one of formal specification 
methods (like  CoFI/CASL), theorem proving or category theory is desirable. 

Applicants with PhD are welcome. However, there also will be the 
oppurtunity to prepare a PhD thesis within the framework of the research
project. 

If you are interested, please contact us under cofi@tzi.de.

Greetings,
Till and Lutz