Skip directly to: content | search

ExCAPE: Expeditions in Computer Augmented Program Engineering

Postdoc Openings

  Institutions:   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
  Posted:   19 Feb 2015
  Application Deadline:   31 Mar 2015  (Closed)
  Type:   Full Time

 

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.

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

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.

ExCAPE: Expeditions in Computer Augmented Program Engineering NSF National Science Foundation Award CCF-1138996