--Multipart_Mon_Jan_25_11:42:39_1999-1
Content-Type: text/plain; charset="US-ASCII"
I am forwarding the following job advertisement to the Haskell mailing
list, as it will be interesting to researchers working with
Haskell. Please forward it to anyone who you think may be interested.
Best regards,
--Christoph.
-------------------------------------------------------------------------------
Christoph Lueth FB3 -- Mathematik und Informatik
Universitaet Bremen
Phone +49-421-2187585 Postfach 330440
Fax +49-421-2183054 28334 Bremen
[EMAIL PROTECTED] http://www.informatik.uni-bremen.de/~cxl
--Multipart_Mon_Jan_25_11:42:39_1999-1
Content-Type: text/plain; charset="ISO-8859-1"
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
Bremen Institute of Safe and Secure Systems (BISS)
University of Bremen, Germany
The salary will be appr. 45k Euro/year, depending on age etc.
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
visualisation 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 respective 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 cognitive 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-Bruckner
[EMAIL PROTECTED]
[1] Krieg-Bruckner, 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] Luth, 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-Bruckner courier mail only:
Bremer Institut fur Sichere Systeme MZH 8071
FB3 Mathematik und Informatik FB3
Universitat Bremen Universitat Bremen
Postfach 330 440 Bibliothekstr. 1
D-28334 Bremen D-28359 Bremen
Telefon: (+49) 421-218-3660 telefax: (+49) 421-218-3054
[EMAIL PROTECTED] privat: (+49) 421-25-1024
http://www.informatik.uni-bremen.de/~bkb, ~agbkb
http://www.uni-bremen.de/~sppraum (Kognitive Robotik)
--Multipart_Mon_Jan_25_11:42:39_1999-1--
