Group home

Postdoc 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, these features in Wired and Popular Science magazines.

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, 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 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 (