[TYPES/announce] Open postdoc position

[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 (deep) induction rules for indexed data types. It seeks specifically to understand the settings in which such data types have well-defined initial algebra semantics, to give well-defined such semantics for them in such settings, and to (use these semantics to) derive deep induction rules for them. A key goal is to understand what deep induction rules for GADTs look like. Another is to understand how to extend them to inductive families and other term-indexed data types.

* The ideal applicant will have a PhD in Computer Science or Mathematics (or other related area), and solid background in functional (including dependently-typed) programming, type theory, and category theory. They will be interested in working on fundamental research questions about categorical semantics of indexed data types and deep induction rules for such types. An Interest in applications and/or formalizing computer science theory in, e.g., Agda or Coq, are key for certain aspects of this project.

* 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 possible continuation by mutual agreement.

* The position will start at a mutually agreeable date, ideally on or around 1 October 2025.

* The gross salary starts at $4500 per month and will be commensurate with experience.

* Interested persons should first contact Patricia Johann at johannp at appstate.edu, briefly outlining their academic background and research interests. 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/50240__;!!IBzWLUs!R7fqjdkWKapiMYh3lX8NEtvEtYmjRMzZZipy9T2v7l7NH854l6K1l7zKmYQqiOppIylh4Ygg_E6Ctmqfd0mq0zXfPN2-OkqSg$

* Review of applications is ongoing 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.