Postdoc opening in categorical semantics

Postdoc opening in categorical semantics

[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 the categorical semantics
of advanced data types, such as nested types, GADTs, and other
higher-kinded data types. The project aims to build on recent work on
higher-kinded data types to understand the categorical settings in
which they have initial algebra semantics. One primary goal is to
classify such types according to the complexity of the categorical
settings in which they have well-defined initial algebra
semantics. Another is to understand what parametricity means,
practically speaking, for them.

The ideal applicant will have a strong background in functional
programming, type theory, and category theory, although more expertise
in one area may, together with a commitment to developing the required
competencies, compensate for less in another. The successful applicant
will also be excited about working on fundamental research questions
on the themes of categorical semantics of data types and
parametricity. Interests in applications and/or formalizing computer
science theory in, e.g., Agda, are also welcome.

The successful hire will work on the funded project with
Prof. Patricia Johann at Appalachian State University, her students,
and collaborating researchers. (Due to COVID-19, remote work may be
possible for some initial portion of the position.)  The duration of
the position is initially one year, with guaranteed continuation by
mutual agreement. The position will start at a mutually agreeable
date, ideally on or around 1 July 2021. 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/27464

Review of applications will begin on 15 February 2021 and 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.



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

Postdoc opening in categorical semantics

[Patricia Johann]

[-- Attachment #1: Type: text/plain, Size: 4287 bytes --]


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<https://protect-au.mimecast.com/s/fQiyClx1OYUvXlY6F96m8_?domain=appstate.peopleadmin.com>

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=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 6436 bytes --]