[TYPES/announce] Postdoc in program semantics at Appalachian State University

[Patricia Johann]

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,
-patricia

--------

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 
johannp at 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.