[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. While structural induction applies a predicate to only the 
outer structure of a data structure, deep induction instead traverses all 
of the inner structure the data structure may have with additional 
predicates on that inner structure. A key goal is to develop extend deep 
induction from type-indexed types to term-indexed types such as inductive 
families and inductive-inductive 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 
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 sometime 
in Fall 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.

Thank you.


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.