[TYPES/announce] Post-doctoral positions in Formal Verification / Software Analysis / Hybrid Systems at Penn

[Rajeev Alur]

Postdoctoral research positions are available
at University of Pennsylvania in the broad areas of
formal verification, software analysis, and hybrid systems.
Research in formal methods at Penn spans foundations in
logics, automata, and abstractions, tools for analysis and synthesis of
software systems, and model-based design of embedded
control systems (see http://www.cis.upenn.edu/~alur/)

University of Pennsylvania is conveniently located
in central Philadelphia. Department of Computer and Information
Science has strong research groups in related areas such as
programming languages, embedded software systems, and robotics.

The appointment can be upto two years starting Summer 2010.
Please email enquiries and applications to Rajeev Alur (alur at cis.upenn.edu)