[pept:139] Postdoctoral Research Scientist (Opening)

[Walid Taha <taha@xxxxxxxxxxx> (by way of Robert Glueck)]

Department of Computer Science
Rice University

The Resource Aware Programming project at Rice University is concerned
with advanced language techniques for building embedded software
systems.  The project has an opening for a postdoctoral researcher.
Applicants should have background and interests in one or more of the
following areas:

- design, implementation, and verification of programming languages
- multi-stage and generative programming
- advanced type systems, proof-carrying code and higher-order logic
- safety infrastructure for embedded software

The ideal candidate will have credentials in system building and a
lively interest in language theory. Participation in the group's and
department's research and education activities is also encouraged. The
appointment is initially for one year with a potential renewal for a
second year. Salary is negotiable and commensurate with experience.

The Resource Aware Programming project is working to demonstrate the
viability and benefits of advanced languages for programming
real-world systems, with an emphasis on helping programmers produce
more reliable software more efficiently.  More information about the
project is available online http://www.cs.rice.edu/CS/RAP.

Please direct inquiries and applications to Walid Taha (taha@cs.rice.edu).

Rice University is an affirmative action/equal opportunity employer and
we invite and encourage applications from women and minorities.
--
Walid Taha
Rice University http://www.cs.rice.edu/~taha
(713) 348 5718
Department of Computer Science
Rice University
6100 S. Main Street MS 132
Houston, TX, 77025