[TYPES/announce] Postdoctoral position in Decision Procedure Engineering at Rice University

[Swarat Chaudhuri]

Postdoctoral position in Decision Procedure Engineering at Rice University
------------------------------------------------------------------

The Computer-Aided Programming group at Rice University
(http://caper.rice.edu) is looking to hire a postdoctoral researcher
in the area of solver/decision procedure engineering.

The goal of the project is the design and implementation of a
high-performance, extensible program synthesis engine built on top of
the Z3 SMT-solver. The ideal applicant would be an ace Ocaml hacker,
have a solid background in logic, and have experience with tool
development in the area of automated formal methods. However, prior
experience with program synthesis is not necessary.

The researcher will be supervised by Prof. Swarat Chaudhuri
(http://www.cs.rice.edu/~swarat) and also mentored by Prof. Moshe
Vardi (http://www.cs.rice.edu/~vardi).  The duration of the position
is one year, starting September 2013, and can be renewed for a second
year. Compensation is competitive and commensurate with
experience. Rice University is located in Houston, Texas, the fourth
largest city in the United States.

To apply, send a resume, a brief statement of interest, two
representative publications, and names of 2-3 references to Swarat
Chaudhuri (swarat at rice.edu).