Dear Folks, 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, specifically GADTs and inductive families. The project aims to build on recent work on GADTs to understand the settings in which they 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 what deep induction rules for inductive families look like --- and, in particular, how they differ from deep induction rules for corresponding GADTs. The ideal applicant will have a strong background in functional (ideally dependently-typed) programming, type theory, and category theory. However, more expertise in one area, coupled with a commitment to developing the required competencies, may compensate for less expertise in the others. The successful applicant 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 also very welcome. 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 guaranteed continuation by mutual agreement. (Previous postdocs have continued in their positions an average of about two years.) The position will start at a mutually agreeable date, ideally on or around 1 September 2024. Compensation will be competitive and commensurate with experience. Interested persons should first contact Patricia Johann at johannp@appstate.edu, 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://appstate.peopleadmin.com/postings/43078 Review of applications will begin on 15 January 2024 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. You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>