[TYPES/announce] CLOSING DATE 14 January: Postdoc opening in categorical semantics

[Patricia Johann]

**** APPLICATION DEADLINE 14 JANUARY ****

Dear Folks,

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 deep induction rules for advanced data 
types, specifically to understand the settings in which they have 
well-defined initial algebra semantics, to give well-defined such 
semantics for them in such settings, and then to use these semantics to 
derive deep induction rules and parametricity properties for them. A key 
goal is to understand what deep induction rules and parametricity for 
GADTs look like. Another is to understand what deep induction rules for 
inductive families look like --- and, in particular, how they differ from 
deep induction rules for corresponding GADTs.

The ideal applicant will have a strong background in functional (ideally 
dependently-typed) programming, type theory, and category theory. However, 
more expertise in one area, coupled with a commitment to developing the 
required competencies, may compensate for less expertise in the others. 
The successful applicant will also be excited about working on fundamental 
research questions on the themes of categorical semantics of advanced data 
types, and deep induction rules and parametricity for them. Interests in 
applications and/or formalizing computer science theory in, e.g., Agda, 
are also very welcome.

The successful hire will work on the funded project with Prof. Patricia 
Johann at Appalachian State University, her students, and collaborating 
researchers. The duration of the position is initially one year, with 
guaranteed continuation by mutual agreement. (Previous postdocs have 
continued in their positions an average of about two years.) The position 
will start at a mutually agreeable date, ideally on or around 1 September 
2024. Compensation will be 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://urldefense.com/v3/__https://appstate.peopleadmin.com/postings/43078__;!!IBzWLUs!RT11Ev3gbZzqfSJ6F9huW4c9CVRj2wJ0vNXuEUFKx_XbQdTcXYy8cy93I3GrTiM3wNbxELBC06OoErR0JvoAKVp0mN79NBmxBA$ 

Review of applications will begin on 14 January 2024 and will 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.