[TYPES/announce] Postdoctoral Research Associate Position in Analysis, Probabilistic Reasoning, and Synthesis at the University of Colorado Boulder

[Bor-Yuh Evan Chang]

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

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

The postdoctoral researcher would collaborate with Profs. Bor-Yuh Evan
Chang, Sriram Sankaranarayanan, and Pavol Cerny and have the opportunity to
lead an ambitious new project that combines program analysis, probabilistic
reasoning, and program synthesis. To apply, please send an email to any of
us with a CV and contact information for two or three references.

Our group has active projects in areas such as the following:

  - program analysis

  - model checking

  - verification and synthesis of hybrid and embedded systems

  - program synthesis

For more information about our projects, please see:

             http://pl.cs.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 Mountain foothills, is
consistently awarded top-rankings for health, education, and quality of
life.  It is also home to a concentration of high-tech industry and its
vibrant startup community.  Located 30 miles from downtown Denver, there
are convenient public transportation options between Boulder and the Denver
metro area.

The University of Colorado is an Equal Opportunity Employer committed to
building a diverse workforce. We encourage applications from women,
minorities candidates, people with disabilities, and veterans.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20141023/4559491b/attachment.html>