[ The Types Forum (announcements only),
    http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Dear Colleagues,

I have an opening for a postdoc, as described in the ad below. In addition to accepting applications, I will be very happy to respond to informal enquiries about any aspect of the position, from technical ones to ones about life in a beautiful, "alternative" mountain town in western North Carolina.

Best wishes,


Applications are invited for a postdoctoral researcher position in the Computer Science Department at Appalachian State University. The position is part of an NSF-funded project on the theory and application of indexed programming. The project is concerned with both type-indexed types, such as nested types and GADTs, and term indexed-types, such as inductive families. It aims to develop the theory of both, to transfer theory and practice between the two, and whenever possible, to unify knowledge across them.

The ideal applicant will have a strong background in functional programming, type theory, and category theory, although more expertise in one area may, together with a commitment to developing the required competencies, compensate for less in another. The successful applicant will also be excited about working on fundamental research questions on the themes of type-indexed programming, term-indexed programming, and indexed programming in general. An interest in applications is also welcome. The main tool to be employed is the categorical notion of a fibration, which provide uniform and principled models of very general forms of indexing. The successful hire will work on the funded project with Prof Patricia Johann and collaborating researchers. They will also have the opportunity to initiate subprojects appropriate to their own (related) interests. The position is funded for 2.5 years. The duration of the position is initially one year, with the expectation of continuation by mutual agreement. The position will start at a mutually agreeable date, ideally on or around 15 March 2018. Compensation will be highly competitive and commensurate with experience.

Interested persons should first contact Patricia Johann at joha...@appstate.edu, briefly outlining their academic background and research interests, and why they are interested in the position. A complete application will consist of a cover letter and CV, including contact information for three academic references. Complete applications should be made online at https://appstate.peopleadmin.com/postings/16205

Review of applications will begin immediately and continue until the position is filled.

Appalachian State University is an Affirmative Action/Equal Opportunity Employer. The University does not discriminate in access to its educational programs and activities, or with respect to hiring or the terms and conditions of employment, on the basis of race, color, national origin, religion, sex, gender identity and expression, political affiliation, age, disability, veteran status, genetic information or sexual orientation.

Individuals with disabilities may request accommodations in the application process by contacting Patricia Johann.

Any offer of employment to a successful candidate will be conditioned upon the University's receipt of a satisfactory criminal background report.

Reply via email to