[ The Types Forum (announcements only),
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.
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
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.