Discussion of Homotopy Type Theory and Univalent Foundations
 help / Atom feed
From: Kristina Sojakova <sojakova.kristina@gmail.com>
To: Homotopy Type Theory <HomotopyTypeTheory@googlegroups.com>
Subject: [HoTT] Postdoc in categorical semantics of data types
Date: Fri, 10 May 2019 10:19:37 -0400
Message-ID: <35ea9668-b042-1599-3c1f-1057859e4cfc@gmail.com> (raw)

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

Dear all,

Patricia Johann at Appalachian State University has an opening for a postdoc. You can contact her at johannp@appstate.edu directly with any informal inquiries about any aspect of the position, from technical ones to ones about life in a beautiful, "alternative" mountain town in western North Carolina.

Below is the announcement:

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 inductive
families. It aims first to understand the categorical settings in
which various classes of such data types have well-defined initial
algebra semantics, and then to use this understanding to construct
models for languages supporting advanced data types that are both
parametric and support their initial algebra semantics.

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
Profs. Patricia Johann and Andrew Polonsky at Appalachian
State University, their students, and collaborating
researchers.  They will also have the opportunity to initiate
subprojects appropriate to their own (related) interests. 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 10 September
2019. Compensation will be competitive and commensurate with

Interested persons should first contact Patricia Johann at
johannp at appstate.edu  <https://lists.seas.upenn.edu/mailman/listinfo/types-announce>, 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

Review of applications will begin on 10 June 2019 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

You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/35ea9668-b042-1599-3c1f-1057859e4cfc%40gmail.com.
For more options, visit https://groups.google.com/d/optout.

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

                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=35ea9668-b042-1599-3c1f-1057859e4cfc@gmail.com \
    --to=sojakova.kristina@gmail.com \
    --cc=HomotopyTypeTheory@googlegroups.com \


* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

Discussion of Homotopy Type Theory and Univalent Foundations

Archives are clonable: git clone --mirror http://inbox.vuxu.org/hott

Newsgroup available over NNTP:

AGPL code for this site: git clone https://public-inbox.org/ public-inbox