Research position, University of Bremen, Germany

[bkb@informatik.uni-bremen.de]

Dear Colleague,

I would like to draw your attention to the following position available
in my
research group:
        senior researcher (BAT IIa) for 4 years, salary appr. 45k
Euro/year 
        (depending on age etc.)
        Bremen Institute of Safe and Secure Systems (BISS)
        University of Bremen, Germany
Please kindly advertise this position in your department.

The UniForM project (Universal Formal Methods Workbench) has been
ongoing for about 3 years now; for an overview of results and papers,
see [1]. The aim of the UniForM project is to develop a framework for
the combination of Formal Methods and tools to support them in a
logically consistent way.

One of the key areas of the project is the implementation of the
UniForM Workbench, a Software Development Environment supporting the
data, control and presentation integration of tools, particularly in
the Formal Methods context. For his PhD thesis, Einar Karlsen has
implemented a prototype of the Workbench. By extending the pure
functional programming language Haskell with a concurrency toolkit and
an encapsulation of the interface building library Tk and our graph
viusalisation tool daVinci, the communication of tools and users can be
described and implemented at a very abstract level, in a language 
similar to a process algebra like CSP or the \pi-calculus. At about 
50k LOC, the system is one of the world's largest existing Haskell 
projects. Further information can be found in [2],[3],[4],[5].

The prospective applicant should extend the existing work in both
research and implementation. In the research avenue, an interface to
CORBA is work in progress, while future work includes the development
of meta-tools for tool integration, and the integration of development
process paradigms such as the V-model for Formal Methods and its
enactment for the UniForM Workbench. 

Moreover, there is considerable interest by several partners in the
community to actually integrate their resp]ective specification
languages, methods and tools into the UniForM Workbench. The
prospective applicant should liaise with interested external partners
to coordinate and assist their integration efforts. Further the
applicant is responsible for the preparation and maintenance of public
domain releases of the Workbench.


YOU should
- preferably have a PhD (going for a PhD may also be possible) in
  Computer Science or a related area,
- have excellent practical programming experience, preferably with large
  systems and a functional programming language, 
- be interested to apply functional programming
  languages to real problems (such as tool integration),
- be generally interested (but not necessarily proficient) in
  Formal Methods

WE 
- provide an stimulating research environment in BISS (about 30 
  researchers in various areas related to safe systems with formal 
  methods), also involved in industrial application projects, 
  particularly for embedded real-time systems for railway control,
  space and aircraft applications (e.g. Int'l Space Station Alpha,
  airbus), and cognitve robotics
- support your academic and technical advancement

Please get in contact with us immediately; we would like to fill the
position ASAP.

with best regards
Bernd Krieg-Brückner
bkb@Informatik.Uni-Bremen.DE

[1] Krieg-Brückner, B.: UniForM Perspectives for Formal Methods.
    In: International Workshop on Current Trends in Applied Formal 
    Methods. Lecture Notes in Computer Science. Springer (to appear). 
    http://www.informatik.uni-bremen.de/~bkb/Perspectives.ps

[2] Karlsen, E. W.: The UniForM Concurrency ToolKit and its
    Extensions to Con-current Haskell. In: O'Donnald, J. (ed.): GFPW'97,
    Glasgow Workshop on Functional Programming '97, Ullapool.
    http://www.informatik.uni-bremen.de/~ewk/

[3] Karlsen, E. W.: Integrating Interactive Tools using Concurrent
    Haskell and Syn-chronous Events. In ClaPF'97, 2nd Latin-American
    Conference on Functional Programming, La Plata, Argentina (1997).
    http://www.informatik.uni-bremen.de/~ewk/

[4] Karlsen, E. W., Westmeier, S.: Using Concurrent Haskell to
    Develop User Interfaces over an Active Repository. In IFL'97,
    Implementation of Functional Languages 97, St. Andrew, Scotland. Lecture
    Notes in Computer Science 1467. Springer (1997).

[5] Lüth, C., Karlsen, E. W., Kolyang, Westmeier, S., Wolff, B.
    (1998b): HOL-Z in the UniForM Workbench - a Case Study in Tool
    Integration for Z. Proc. ZUM'98, 11th Internation Conference of Z Users,
    Lecture Notes in Computer Science 1493, Springer.

-- 
________________________________________________________________
Prof. Dr. Bernd Krieg-Brückner      courier mail only:
Bremer Institut für Sichere Systeme MZH 8071
FB3 Mathematik und Informatik       FB3
Universität Bremen                  Universität Bremen
Postfach 330 440                    Bibliothekstr. 1
D-28334 Bremen                      D-28359 Bremen

Telefon: (+49) 421-218-3660         telefax: (+49) 421-218-3054
bkb@Informatik.Uni-Bremen.DE        privat:  (+49) 421-25-1024
http://www.informatik.uni-bremen.de/~bkb, ~agbkb
http://www.uni-bremen.de/~sppraum (Kognitive Robotik)