[ 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 advanced
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 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 how
to extend these to inductive families.
The ideal applicant will have a strong background in functional (including
dependently-typed) programming, type theory, and category theory. They
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 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 September 2025.
Compensation will be competitive and commensurate with experience.
Interested persons should first contact Patricia Johann at
[email protected], 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/50240__;!!IBzWLUs!R7fqjdkWKapiM-Yh3lX8NEtvEtYmjRMzZZipy9T2v7l7NH854l6K1l7zKmYQqiOppIylh4Ygg_E6Ctmqfd0mq0zXfPN2-OkqSg$
Review of applications will begin on 15 April 2025 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.
