[ 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. 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
[email protected], 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.
