[TYPES/announce] Postdoc position at Colorado in program analysis and program synthesis

[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 position is on the Fixr project, a large project examining approaches
to automatically mine, understand, and transfer bug fixes in large
application frameworks, such as Android.

The ideal candidate has a strong background in the area of programming
languages, software engineering and/or formal methods, as well as an
enthusiasm for 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 this ambitious project that combines program analysis, probabilistic
reasoning, and program synthesis.

The position is for two years, with a possible extension for additional
years. A transition plan to a research assistant professor position is
possible for highly-qualified candidates. While not required, teaching
opportunities will also be available. Compensation is highly competitive
and commensurate with experience.

To apply, please send an email to Bor-Yuh Evan Chang (bec at cs.colorado.edu)
with a CV and contact information for two to three references. Please apply
by May 8 for full consideration, though applications will be considered
until the position is filled.

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/

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/20150418/e4672553/attachment.html>