COMPUTER SCIENCE DEPARTMENT

Carnegie Mellon University

     Carnegie Mellon University's Department of Computer Science seeks
     applicants for both junior and senior level tenure-track positions, in
     all areas of research.  Candidates are expected to have a strong
     interest in both teaching and research.  The successful candidate will
     be expected to initiate and carry out research, collaborate with other
     faculty, and teach both undergraduate and graduate level courses.  The
     department has a new undergraduate computer science program which has
     quickly become one of the most highly rated, and which draws top
     students from around the country.  This year we are also starting a
     new interdisciplinary research center for Machine Learning and Data
     Discovery.

     Applications should be sent to: Sharon Burks, Associate Department
     Head, Computer Science Department, Carnegie Mellon University, 5000
     Forbes Avenue, Pittsburgh, PA 15213-3891.  We also welcome electronic
     applications (in postscript) sent to faculty-search@cs.cmu.edu.  To
     ensure full consideration, applications should be received by January
     15, but we will accept applications until the positions are filled.
     Carnegie Mellon is an affirmative action/equal opportunity employer
     and we invite and encourage applications from women and minorities.

Post-Doctoral Position in Software Architectures for Autonomous Systems

The Carnegie Mellon School of Computer Science has an opening for a
post-doctoral position in the area of software architectures for autonomous
systems.  The focus of the position will be the development of software tools
to facilitate the design and analysis of concurrent distributed autonomous
systems.  Application domains include indoor and outdoor mobile robots and
autonomous spacecraft.  The types of tools to be developed include ones that
automatically generate code based on high-level specifications for the
task-level control of autonomous systems, ones that aid in the validation and
verification of system designs, and ones that help visualize the execution of
such systems.  The work will be based largely on the Task Control
Architecture, which provides task-level control constructs for task
decomposition, task sequencing, execution monitoring, and exception handling.

The ideal applicant would have a background in software engineering,
concurrent systems, mobile robotics and AI, but appropriate combinations of
those specialities are sufficient.  Interest in high-level language design and
graphical user interfaces is also helpful.

Contact: Reid Simmons (reids@cs.cmu.edu)
         School of Computer Science
         Carnegie Mellon University