[Fwd: Jozef Hooman] PhD position

Subject: [Fwd: Jozef Hooman] PhD position
From: Mitchell Wand (wand@ccs.neu.edu)
Date: Sun Oct 27 2002 - 21:34:01 EST

------- start of forwarded message (RFC 934 encapsulation) -------
Return-Path: <concurrency@cwi.nl>
Delivered-To: wand@ccs.neu.edu
From: Jozef Hooman <hooman@cs.kun.nl>
To: concurrency@cwi.nl (moderated)
Subject: PhD position
Date: Sun, 27 Oct 2002 09:12:59 +0100 (MET)

VACANCY: PhD student position (4 years)

Project: BODERC
         Beyond the Ordinary: Design of Embedded Real-time Control

Where: Informatics for Technical Applications (ITA) group,
       University of Nijmegen, the Netherlands

Project description:
  The Boderc project focuses on distributed embedded real-time
  controllers of complex systems. A printer of OcÚ is taken as a
  case-study and acts as a driver for the project. The target
  is an integral approach for a systematic architectural design,
  modeling, analysis, and validation methodology of such heterogeneous
  systems, including aspects from mechanical engineering, electrical
  engineering and informatics.

  In this project seven parties (four industrial companies and three
  universities) co-operate with the Embedded Systems Institute at

  The research at the University of Nijmegen in this multi-disciplinary
  project concerns integration of UML-based software design for embedded
  systems into a common framework that is suitable for multi-disciplinary
  system engineering. This involves hybrid modeling, architectural
  descriptions and high-level analysis based on formal methods and tools.

For more information, see

Contact, information and applications:
  Jozef Hooman, e-mail: hooman@cs.kun.nl
------- end -------

This archive was generated by hypermail 2b28 : Sun Oct 27 2002 - 21:34:26 EST