Massachusetts Institute of Technology
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
|Posted:||19 Feb 2015|
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).
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 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. For more information, please feel free to contact any of the PIs.
- Two representative publications
- Curriculum vita
- Statement of research (1-2 pages)
- 2-3 recommendation letters
The application is done online via the following link.
All material, except for the recommendation letters, should be uploaded using this link. Recommendation letters should be sent by email to Dr. Dana Fisman.