Opening for Post-Doctoral Research Fellow

Start date: Anytime after January 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 LogicBlox have kindly made funding available for a post-doctoral fellowship. The position is intended for promising young researcher to lead the continued development and evaluation of the Concoqtion programming language. The post-doctoral fellow will play a key role in planning and shaping the future development of the Concoqtion system, and demonstrating its effectiveness for building high-quality software. The position allows for significant latitude in defining the candidate's research program during the fellowship. The position will be supervised jointly by Walid Taha (Rice University), Jeremy Siek (Colorado), and Emir Pasalic (LogicBlox).

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. Participation in the group and department's research and education activities is encouraged. The appointment is initially for one year with a potential renewal for a second year. Salary is competitive, negotiable, and will commensurate with experience.

Previous post-doctoral fellows with our group have gone on to hold tenure-track faculty positions, research positions in international coorporations, and research positions in startup companies.

Please direct applications or questions to Walid Taha (taha@cs.rice.edu). Applications should include a resume including a complete list of publications and contact information for three references.

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