Postdoctoral Research Scientist (Posted 2/14/2003. NOW CLOSED)

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 https://resource-aware.org/

Please direct inquiries and applications to Walid Taha ().

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