[TYPES/announce] Postdoc and research scientist positions in program analysis and synthesis at Rice University

[Swarat Chaudhuri]

Postdoc and research scientist positions in program analysis and
synthesis at Rice University
-----------------------------------------------------------

Rice University's Department of Computer Science is looking to hire
multiple postdocs and research scientists in the area of automated
program analysis and synthesis. The work is on a large
multi-institution project on "big code analytics": software analysis
techniques that take advantage of information extant in a large
database of pre-existing code. The project is expected to push the
horizons of automated reasoning about software in radically new ways.

Ideal applicants for the positions will have a solid background in
formal methods and/or programming languages, as well as experience
with building usable programming tools. They would also be excited
about working on high-risk, high-reward ventures and in mission-driven
environments.

The postdocs and research scientists will work with a team of
investigators from Rice University, the University of Texas at Austin,
the University of Wisconsin, and Grammatech, Inc. They will be
supervised by Prof. Swarat Chaudhuri (http://www.cs.rice.edu/~swarat),
and work closely with Professors Vivek Sarkar, Christopher Jermaine, Moshe
Vardi, and Keith Cooper. The duration of the positions is a minimum of
two years, starting September 2014, with possible renewals.
Compensation will be highly competitive and commensurate with
experience. Rice University is located in Houston, Texas, the fourth
largest city in the United States.

To apply, send a CV, a statement of interest, and names of 3
references to Swarat Chaudhuri (swarat at rice.edu).