[TYPES/announce] Post-doc positions in NSF's multi-university Expeditions project on Software Synthesis

[Rajeev Alur]

Postdoctoral Research Positions in Synthesis

Expeditions in Computer Augmented Program Engineering (ExCAPE) is
a multi-university multi-disciplinary project funded by US National Science
Foundation as part of the Expeditions in Computing program.
The goal of ExCAPE is to transform the way programmers develop software
by advancing the theory and practice of software synthesis. To achieve this goal,
the ExCAPE team brings together expertise in theoretical foundations (computer-aided
verification, control theory, program analysis), design methodology (human-computer
interaction, model-based design, programming environments), and applications
(concurrent programming, network protocols, robotics, system architecture).
More information on the project, along with the list of Principal Investigators, is
available at http://excape.cis.upenn.edu/

ExCAPE has funding available for multiple post-doctoral research positions starting Fall 2012.
We seek applicants with domain expertise necessary to advance the practice of synthesis in
one of the challenge problems as well as applicants with expertise in theory and tools for synthesis.
Each post-doctoral researcher will be advised by two PIs, and will be expected to split time
between the institutions of the two mentors.
To apply, following material should be submitted electronically, by April 30, 2012, to
Liz Ng (wng at seas.upenn.edu):
1. Candidate's CV
2. Two representative publications
3. Statement of research (1-2 pages)
4. Two or three letters of reference

For more information, feel free to contact any of the PIs.