[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]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 joha...@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.
