[TYPES/announce] Postdoc positions in the Pliny program synthesis project at Rice University

[Swarat Chaudhuri]

Postdoctoral positions in the Pliny software synthesis project at Rice
University
-----------------------------------------------------------

Rice University's Department of Computer Science is looking to hire
postdoctoral researchers in the area of automated software synthesis
and repair. The work is on Pliny, a large multi-institution project on
approaches to synthesis and repair 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.  It is also a highly visible project -- see, for
example:

http://www.wired.com/2014/11/darpa-pliny
http://www.engadget.com/2014/11/09/darpa-pliny-coding/

Ideal applicants for the positions will have a solid background in
formal methods, software engineering, and/or programming languages,
and 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 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 January 2015, 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 and names of 3 references to Swarat Chaudhuri
(swarat at rice.edu).