[TYPES/announce] Postdoctoral position on programming models for robotic motion planning at Rice University

[Swarat Chaudhuri]

Postdoctoral position on programming models for robotic motion planning
at Rice University
------------------------------------------------------------------

The Computer-Aided Program Design group
(http://www.cs.rice.edu/~swarat/capd) and the Physical and Biological
Computing group (http://www.kavrakilab.org/) at Rice University are
looking to hire an enthusiastic postdoctoral researcher to enhance
their joint research efforts on high-level programming models for
robotic motion planning.

The goal of the project is the development of declarative programming
models for motion planning that nonexperts can use with relative ease,
and the design and implementation of program synthesis techniques
that can automatically generate executable code from high-level models.

The ideal applicant would have a passion for bringing together
theory and practice, prior exposure to programming language semantics and
techniques for reasoning about correctness of systems (especially
physical systems), and significant experience in writing software.
Candidates that will be given priority include those with deep
expertise in program verification/synthesis (especially modern
invariant generation techniques) and/or hybrid control systems, and those
with a good understanding of practical issues in programming real-world
robots.

The duration of the position is one year and can be renewed for a
second year. Compensation is commensurate with experience.

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