[TYPES/announce] Postdoc position in contract verification and gradual types at Indiana University

[Sam Tobin-Hochstadt]

Indiana University invites applications for a postdoctoral position in
programming languages, focusing on contracts, verification, and
gradual types. The position is in the PLT group led by Prof. Sam
Tobin-Hochstadt.

Our group works on a wide variety of topics in programming languages,
including contract systems, verification and symbolic execution, and
gradual types. Current projects include the SCV verification system
for higher-order contracts, the Typed Racket gradual type system, and
the Pycket Just-In-Time compiler.

General duties in this postdoctoral position include: designing and
implementing software systems; developing formal models; supervision
of graduate and undergraduate researchers; writing papers and
presenting on research; and pursuing new research directions within
the context of overall group aims.

The ideal candidate for this position has experience with both
practical and theoretical approaches to programming language research,
and expertise in gradual types, contract systems, program
verification, or static analysis.

For more information about the programming language group at Indiana
University, one of the largest in the United States, please see:
    http://lambda.soic.indiana.edu

The IU Bloomington School of Informatics and Computing is the first of its
kind and among the largest in the country, with unsurpassed breadth. It
includes the Dept. of Computer Science and Informatics and the Dept. of
Information and Library Science, which comprise over 85 tenure-line
faculty, 900 graduate students, and 1100 undergraduate majors.

Located in the wooded rolling hills of southern Indiana, Bloomington is a
culturally thriving college town with a moderate cost of living and the
amenities for an active lifestyle. IU is renowned for its top-ranked Jacobs
School of Music, high performance computing and networking facilities, and
performing and fine arts.

Indiana University is an equal employment and affirmative action employer
and a provider of ADA services. All qualified applicants will receive
consideration for employment without regard to age, ethnicity, color, race,
religion, sex, sexual orientation or identity, national origin, disability
status or protected veteran status. Indiana University is responsive to the
needs of dual career couples.

Applications will be accepted until the position is filled.  Salary will be
competitive for computer science postdocs in the United States.
*Start date:* September 2015 or later.
*Duration:* variable, but at least one year.

Both inquiries and applications welcome.  An application should consist of
a CV, including publications, and a short written description explaining
interest in and fit for the position, together with contact info for
references who may be contacted as needed.  All inquiries and application
material should be sent to Sam Tobin-Hochstadt (samth at cs.indiana.edu).