[Prev][Next][Index][Thread]

POSTDOCTORAL RESEARCH POSITIONS and PROGRAMMER POSITIONS



POSTDOCTORAL RESEARCH POSITIONS and PROGRAMMER POSITIONS
at
The University of Pennsylvania
Department of Computer and Information Science

SDRL (Systems Design Research Labs, www.cis.upenn.edu/sdrl/) of the
University seeks applications for a few Postdoctoral Research as well
as Programmer Positions to work on the HASTEN project
(www.cis.upenn.edu/hasten/).  We are seeking researchers and
programmers with an interest in the application of formal methods in
the development of embedded systems.  Particular areas of interest
include:

1. Theory relevant to formal methods, such as specification,
   probabilistic analysis, model checking, run-time monitoring and
   checking, and testing techniques.

2. The construction of tools based on theory to formal methods
   mentioned above.

3. The application and integrated use of tools based on formal methods
   to the requirements and design specifcation of embedded systems.

4. Compiler and/or software analysis techniques for programming
   languages used for embedded systems.

5. Domain application of formal methods, such as specifying
   safety and real-time properties of embedded medical devices and
   automotive controllers.

The term of the position is 1 year with an option to renew for an
additional year.  A starting date soon after June 1, 2001 is desired.
Candidates should have completed all thesis requirements by that time.
A competitive salary will be offered.

We will also consider applications to support sabbatical leaves at
Penn for researchers in this area.

Please send a complete CV including addresses with three
references to:

   Insup Lee
   lee@cis.upenn.edu
   http://www.cis.upenn.edu/~lee

The HASTEN project team also includes 
Rajeev Alur (www.cis.upenn.edu/~alur), 
Carl A. Gunter (www.cis.upenn.edu/~gunter),
Sampath Kannan (www.cis.upenn.edu/~kannan), and 
Oleg Sokolsky (www.cis.upenn.edu/~sokolsky)


=========
Insup Lee
Professor                     262 Moore
email: lee@cis.upenn.edu      Department of Computer and Information Science
tel: (215) 898-3532           University of Pennsylvania
fax: (215) 573-7362/573-8190  Philadelphia, PA 19104-6389
http://www.cis.upenn.edu/~lee
=========