[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Postdoctoral positions in theory and practice of software 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 (see excape.cis.upenn.edu)
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.
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.
Applicants should email the CV and a research statement to Liz ng
(w...@seas.upenn.edu),
and also ask two or three references to email letters of recommendation to Liz
Ng.
For more information, please feel free to contact any of the ExCAPE PIs
(see excape.cis.upenn.edu/principal-investigators.html ).
