2 Junior Research Positions at the Eindhoven Univ. of Techn.

[hammer@win.tue.nl (Dieter K. Hammer)]

JUNIOR RESEARCHER position at
the Eindhoven University of Technology

At the Distributed Real-Time Systems Group of the Faculty of
Mathematics and Computer Science, in cooperation with the Section
Information and Technology (I&T) of the Graduate School of Industrial
Engineering and Management Science, both of the Eindhoven University
of Technology, and the Philips Research Laboratory in Eindhoven, a
4-year position is available for

1 JUNIOR RESEARCHER ('Assistent in Opleiding -- AIO') in the research
area "Specification, Design and Verification of Distributed Real-Time
Systems".

The appointed researcher can build on the extensive experience of the
Distributed Real-Time Systems group and cooperate in an international
environment.
  
Important research topics in this area are:
 a) Formal modeling of structure and behavior of distributed real-time
   systems.
b) The extension of design and programming languages with timing
   primitives in a way that enables the development of platform
   independent programs, including the development of a formal
   semantics. The emphasis will be on object-oriented languages.
c) The construction of a verification method that can be implemented
   by means of a theorem prover.
d) Development of a design and programming methodology for distributed
   real-time systems, based on the aforementioned ingredients.
 
Requirements:
A completed academic degree (masters or dutch "doctoraal" level) in
computer science with a strong background in formal methods.
Additional experience with the design and programming, and especially
with object-oriented methods, is advantageous.
 
Tasks:
Performing research in the above mentioned areas with the aim to write
scientific publications and a PhD thesis.
 
Further information: Prof.dr. Dieter K. Hammer
phone: +31-40-247 2734/4416, email: hammer@win.tue.nl
or Dr. Jozef Hooman
phone: +31-40-2474283, email: wsinjh@win.tue.nl

How to apply:
Send your resume via email (including detailed information regarding
your academic degree) accompanied by a cover letter expressing your
interest in and qualifications for the research project mentioned
above to: Marja Nuys, phone: +31-40-247 4416, email: marja@win.tue.nl.

-----------------------------------------------------------------------------

JUNIOR RESEARCHER position at
the Eindhoven University of Technology

At the Distributed Real-Time Systems Group of the Faculty of
Mathematics and Computer Science, in cooperation with the Section
Information and Technology (I&T) of the Graduate School of Industrial
Engineering and Management Science, both of the Eindhoven University
of Technology, and the Philips Research Laboratory in Eindhoven, a
4-year position is available for

1 JUNIOR RESEARCHER ('Assistent in Opleiding -- AIO')
in the research area "Architectural Modeling of Embedded Systems".

The project is funded by- and will be carried out in close cooperation
with Philips Electronics and deals with the role of product
architectures in the development of products containing embedded
computer systems. There is an increased pressure to make such products
flexible and to reduce development and manufacturing costs by sharing
design components between products. This in turns leads to a greater
focus on ways of representing and evaluating product architectures as
well as on the associated improvements to the design process itself.

Important research topics in this area are:
a)  The ways in which product architectures can be represented.
b) Criteria and metrics for the evaluation and validation of product
   architectures.
c) The ways in which product architecture development fits into the
   overall product specification and development process.
d) Design methodologies for product architectures for systems
   consisting of special-purpose hardware and associated custom software.

Requirements:
A completed academic degree (masters or Dutch "doctoraal" level) in
computer science or in industrial engineering. In the latter case, a
strong practical or theoretical background in computer science is
required.
In addition, the candidate should be interested in interdisciplinary
problems and should have good communication abilities in order to
perform the necessary industrial case studies.

Tasks:
Performing case studies and research leading to a methodology for the
development of architectures containing embedded computer systems. Key
deliverables include a framework for architectural development and
associated guidelines for effectively dealing with architectural
issues. The work will result in scientific publications and finally a
dissertation.

Further information: Prof.dr. Dieter K. Hammer, 
phone: +31-40-2472734, email: hammer@win.tue.nl
or Prof.dr.ir. J.C. Wortmann
phone: +31-40-473750, email: j.c.wortmann@bdk.tue.nl

How to apply:
Send your resume (including detailed information regarding your
academic degree) accompanied by a cover letter expressing your
interest in and qualifications for the research project described
above to: Marja Nuys, phone: +31-40-2474416, email: marja@win.tue.nl.