[TYPES/announce] Postdoctoral Position in Program Analysis at the University of Colorado Boulder

[Pavol Cerny]

The Programming Languages and Verification Group at the University of
Colorado Boulder (CUPLV) is looking for exceptional candidates for a
postdoctoral research associate position in the area of program analysis.

The ideal candidate has a strong background in the area of programming
languages and verification, as well as an enthusiasm for mentoring
junior researchers.

The postdoctoral researcher would collaborate with Profs. Pavol Cerny,
Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Ashutosh Trivedi. The
researcher will have an opportunity to lead an ambitious project on
program analysis for security. To apply, please send an email to Pavol
Cerny with a CV and contact information for two or three references.

Our group has active projects in areas such as the following:
  - program analysis
  - program synthesis
  - cyberphysical systems

For more information about our projects, please see:

         	http://plv.colorado.edu/

The position is for one year, with a possible extension for additional
years. Highly-qualified candidates may be considered for a research
assistant professor position.  Teaching opportunities will be available.
 Compensation is highly competitive and commensurate with experience.

Boulder, located at the base of the Rocky Mountains, is consistently
awarded top  rankings for health, education, and quality of life. It is
also home to a concentration of high-tech industry and to a vibrant
startup community. It is located 30 miles from downtown Denver.