Opening for Doctoral Students

Start date: Fall (August) 2008.

The Resource-aware Programming (RAP) research group at Rice University conducts cutting edge research in building for challenging application domains. A recent overview of our research is available as a Google TechTalk.

The National Science Foundation (NSF) and our industrial partners (in particular, Intel, Schlumberger, and LogicBlox) have kindly made funding available for two doctoral research assistanships. The positions are intended for promising students interested in advancing the state of the art in the Science of Design and Physically Safe Computing. In addiiton to being involved in foundational research in language design, members of the RAP group design and develop the programming languages that we design and maintain, such as MetaOCaml, Concoqtion, and Acumen, as wel as demonstrating its effectiveness for building high-quality software.

The ideal candidate has a background and interest in one or more of the following areas:

• Design, implementation, and verification of programming languages,
• Typeful programming in languages such as Quest, OCaml, F#, ML, Haskell, Scala, Cayenne, DML, Cyclone, Omega, Epigram, Coq, or Concoqtion
• Multi-stage programming, monads, monad transformers,
• Embedded and real-time systems, scheduling theory,
• Device drivers, firmware, explicit memeory management, and memory-mapped IO,
• Dynamic programming, genetic sequencing, parsing, and high-performance computing,
• Control theory, differential equations, and numerical methods.
• Hardware description languages, reconfigurable computing, digital signal processing.

Preference will be given to candidates with a balanced interest in both theoretical aspects of language theory as well as experimental evaluation of new langauge ideas in highly demanding applications domains.

Previous graduates of our group have gone on to hold tenure-track faculty positions, research positions in international coorporations, and research positions in startup companies.

Applications are accepted through the online application form.

Rice University is an affirmative action/equal opportunity employer and we invite and encourage applications from women and minorities.

Rice also has other faculty and research openings available.

This posting will be advertised on: types-list@lists.seas.upenn.edu, coq-club@pauillac.inria.fr, haskell@haskell.org, caml-list@yquem.inria.fr, template-haskell@haskell.org, EAPLS@JISCMAIL.AC.UK, announcements@lists.artist-embedded.org, synalp@inrialpes.fr, seworld@cs.colorado.edu