[TYPES/announce] ExCAPE Postdoc Openings (for academic year 2015-2016)

[Dana Fisman]

*ExCAPE Postdoc Openings (for academic year 2015-2016)*

*Application deadline*: March 31 2015



Expeditions in Computer Augmented Program Engineering (ExCAPE
<https://excape.cis.upenn.edu/>) is a multi-university multi-disciplinary
project funded by US National Science Foundation as part of the Expeditions
in Computing program.



Universities involved are:

*  Cornell University*



*  Massachusetts Institute of Technology  Rice University  University of
California, Berkeley   University of California, Los Angeles        *

*  University of Illinois, Urbana-Champaign*


*  University of Maryland, College Park   University of Michigan
University of Pennsylvania*



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).



ExCAPE has funding available for multiple post-doctoral research positions
for the academic year 2015-2016. We seek applicants with domain expertise
necessary to advance the practice of synthesis in one of the challenge
problems <https://excape.cis.upenn.edu/challenge_problems.html> as well as
applicants with expertise in theory and tools for synthesis. Each
post-doctoral researcher will be advised by two PIs
<https://excape.cis.upenn.edu/people.html#PIs>, and will be expected to
split time between the institutions of the two mentors. For more
information, please feel free to contact any of the PIs
<https://excape.cis.upenn.edu/people.html#PIs>.



*Instructions to Candidates:*

Review of applications will begin upon receipt and continue until the
position is filled. Applicants should prepare the following materials:

   - Two representative publications
   - Curriculum vita
   - Statement of research (1-2 pages)
   - 2-3 recommendation letters



The application is done online via the following link
<https://excape.cis.upenn.edu/postdoc_application.html>. All material,
except for the recommendation letters, should be uploaded using this link.
Recommendation letters should be sent by email to Dr. Dana Fisman
<fisman at seas.upenn.edu>.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150220/0e4d4e7a/attachment.html>