From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 4803 invoked from network); 5 Feb 2021 01:12:48 -0000 Received: from mail-wr1-x43f.google.com (2a00:1450:4864:20::43f) by inbox.vuxu.org with ESMTPUTF8; 5 Feb 2021 01:12:48 -0000 Received: by mail-wr1-x43f.google.com with SMTP id n18sf4075182wrm.8 for ; Thu, 04 Feb 2021 17:12:48 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1612487566; cv=pass; d=google.com; s=arc-20160816; b=uKtDz4/Su4yJj34IiLIjB0dWJHnxadCY7v2PF0MFGFAdbUhpFvVx6KzE9zDS65aiE6 Mtav8PcEm7vjSB9C3oWP0tt7HbnHeo2HTdMWlOq7S6OMoBZUsQNXfDiwmGi9TjL82A5d LfNPZS5tkOwIkTxRMQNaQR+zGDeVbkrAGZmy2A0GP2varXA8kEwnpjskgaKktSCqitF7 O6/czgrXmrMeQlzw/TDBVF54JbFE9H3Idp4cUeM3b7HBzHTlgq4MpK30H6pVL73cM8tb y4G/jg1HOwlwilZTqwDWSQszx4T+kkc5mDFmjRkwpgOk683u7ktnZGmM+h0Z7VSw5tzM zyZA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:content-language:mime-version:user-agent :date:message-id:subject:from:to:sender:dkim-signature :dkim-signature; bh=AENXT4I3/WVeOYcgYxxule50bQ+OaA3ghyGlctPhlPk=; b=Gcg1WiYWHbMLcEJcX2cdMGKZOcgCyoSGSx+MHqhkTxuzvbGCS4Qm07vvERXwalXrom 88/xnyyegbWTThXhsQyci/WpUc8jAgrIbGIwKhmfR2JIrO9G5Ks/LKlwOnNeYC3HKG7c gYSwJyvMy6UlxPDBnmxQh5glgTg/IqcXGcT+/e18XWM0iWqvH7AhDZGe59XDApJB9fHm 1sd9+R6b3/nUSjYcoxsthX700VmoX+yspf1JymlJkYYN3sRgwRQAt8RnW8QTfO6oT8QF SAgma6gomVoeUZdAjEP/X0aB3+4FtYeRq29iIK9RANIuZC/X3nLDAdQJldgFJR05ZZWj Razw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=iyNo9HJk; spf=pass (google.com: domain of sojakova.kristina@gmail.com designates 2a00:1450:4864:20::42a as permitted sender) smtp.mailfrom=sojakova.kristina@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:to:from:subject:message-id:date:user-agent:mime-version :content-language:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=AENXT4I3/WVeOYcgYxxule50bQ+OaA3ghyGlctPhlPk=; b=nLWwwWA42Sdkc1StEb78fg+y6Qm5G7gDQifMaRyEpExp3vRv+DRsFMLVxBltYEmIBK s0scyAHHPTmGI629DiGsjrGCSMDVMqVHDFt3OFuYZ0WMpybyJASLCQ/Ooe5vdvBGYxkv 7wyBaX25YLe1wTtJenh8v179FviquZQaGYFqNuILyfdRP5cGzCKIb/MVZhPhWT5gs/lj i7VExKcyG9jYYMdIFr8IHzkdQgn6jPq8FyV8mMohsmlSErzldSEEIDOeQMNqd6Uob4+S PAAHXUYwGe4En26IezKLzYr0BqyKBo/2zeGbgsYIio9a9/xDre6n75Mtkmpal01dWrJ7 lkQw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=to:from:subject:message-id:date:user-agent:mime-version :content-language:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=AENXT4I3/WVeOYcgYxxule50bQ+OaA3ghyGlctPhlPk=; b=SHc1quER2NgPAgKsu0Bi2FgKShbl+mmCbi46R5mhf4RqgJBkvrUtki/yXzfBPXB/Cw ZFbQ/pFcvq3J+oygnmn6BBupTujT1wfC5tqpfNy18jhY9dcdxyTgSzyfxYYa8A4QZXBu me4G0tVB6KL13/cQipQuc2+cOTskT0zIlIytbKgOgRv/7nBC5jBXiaqIBDNJrhEFOOsa gIJWfMEtGeZb9en0fLDnGbT39sQFLJSor1VPamGH6SOZ/jaXUwOc+JCgC+taKp92ytlh GdvHzIWK1osw3Vn58fR7NTrrbuT+5GKLOQJ9D1+TmlhKYtEaencW1GxcS/wXU2z3qQ3F 7XSA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:to:from:subject:message-id:date :user-agent:mime-version:content-language:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-unsubscribe; bh=AENXT4I3/WVeOYcgYxxule50bQ+OaA3ghyGlctPhlPk=; b=uaJ+scijth9CL73p/YbGzl6W6efjz3IG1RUxUF76vhyWgsNkwfafEaraHIrDrV3XYP O/ogVyQDz485H+1+FgKYJ/E8TrzVeT4QsKXxEkuFhDnP+IL5hkZ36psom15wagJYsWfo dXWGpiM5qQNuDZEIxFQzNxKObF/nyEhbJopKeQrpbcves4d+m0debGnoANKbibLBhlXV rJCt7JVTqpo+jMRMieTjJIxCBfe7HgAm0rJ2/IgPY2RV6/oiOb/md8b2hzEv/3TSTjGo UDUkU9RgrLFliPAQTms586/TxHIFqeXyF+O5y8VJ2tUBobd2xpvjn1FMimYMYPFiQ9zL Ns8g== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM5305bbKA0YX8KyQ1cZqz78OoQiTjVVw+nhx6G6Z5DMjVAA3WS8z6 VjewjyjIEVImHIC3D+mgVKc= X-Google-Smtp-Source: ABdhPJw3ioZw5agviCavZn7SagvyrPn6fm4STS3dCqdDdN7OJHkOQKMXeR6ny9HuCAHgZzNVJNFJ4Q== X-Received: by 2002:adf:ffcd:: with SMTP id x13mr2129055wrs.149.1612487565946; Thu, 04 Feb 2021 17:12:45 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:600c:4f88:: with SMTP id n8ls3390296wmq.3.gmail; Thu, 04 Feb 2021 17:12:44 -0800 (PST) X-Received: by 2002:a1c:4ca:: with SMTP id 193mr1398081wme.178.1612487564761; Thu, 04 Feb 2021 17:12:44 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1612487564; cv=none; d=google.com; s=arc-20160816; b=NKJ/As7NOax03WUX1ggqhuvHP6ydh2+yZMs+ThNZCjta454ASf09+ku1AFxxZEiqrJ fATQMAIVc5dmIj9X3i2OgaOpeOuijq+CXJddbMSdrRZzLYth8PfXbcVyVP49Y0NkUpY7 69Lv0yo/C7s5hLS/LShOgMkl0mLYLmM77qWLf7zdrj2Zv9BqHHcgVzLjsAN9JqMabLRh pCMTpaq8b1cecnC+Yk8ziBS7CD0WJKEmm6VZJJyyL5Yd1zvz3izjoX/K2VaJvkY2Evr4 dv70MhlaNp1WJtBOLaheVhg2kzXQYYHLHmSnR3e+XYbVhMe9rUw1bx3jEdN3AS8FeQfa fAKQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-language:mime-version:user-agent:date:message-id:subject :from:to:dkim-signature; bh=OQftnStZOEshNluOQBO/yCJSLFqVn1avIulPhfgkAAs=; b=DH67zhZhYQSyMiRLm+euVlbbTZKk7x9bUabWCqbzUufcx3k/+Eqy1zGSG5A8IT0XUY L9pWH3LNsVA8ZprpQbvZlkYLtH0ZZWeehOV7UkEOZudEviOLsPGv0yz69u00Z9rB1WwO idgvcZ1KOG8bgzWLpMjSJ5zcftCc8nbdT97V7yWebYBOZ8eTZpuW7ZOZKY7vZV8ohB58 QvN69mbPAT/z5I0gR2yDD5zJFx4OuvMwp8c8cifjEVw5K6vkWfk4gYayUnl5hojUhcru QfbSTP3tvLCbwgtR7e7G/cq+H7Uj7GHcL6VrsFvcT+Ej7BYsUGhiYl3n1HztSrF9b8Ew tksQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=iyNo9HJk; spf=pass (google.com: domain of sojakova.kristina@gmail.com designates 2a00:1450:4864:20::42a as permitted sender) smtp.mailfrom=sojakova.kristina@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-wr1-x42a.google.com (mail-wr1-x42a.google.com. [2a00:1450:4864:20::42a]) by gmr-mx.google.com with ESMTPS id z188si547498wmc.1.2021.02.04.17.12.44 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 04 Feb 2021 17:12:44 -0800 (PST) Received-SPF: pass (google.com: domain of sojakova.kristina@gmail.com designates 2a00:1450:4864:20::42a as permitted sender) client-ip=2a00:1450:4864:20::42a; Received: by mail-wr1-x42a.google.com with SMTP id g10so5802548wrx.1 for ; Thu, 04 Feb 2021 17:12:44 -0800 (PST) X-Received: by 2002:adf:f512:: with SMTP id q18mr2079725wro.55.1612487564126; Thu, 04 Feb 2021 17:12:44 -0800 (PST) Received: from ?IPv6:2001:861:3cc3:38e0:7569:784b:dea2:763b? ([2001:861:3cc3:38e0:7569:784b:dea2:763b]) by smtp.gmail.com with ESMTPSA id g194sm7359581wme.39.2021.02.04.17.12.42 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 04 Feb 2021 17:12:43 -0800 (PST) To: homotopytypetheory@googlegroups.com From: Kristina Sojakova Subject: [HoTT] Postdoc with Patty Johann Message-ID: Date: Fri, 5 Feb 2021 02:12:42 +0100 User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.6.1 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="------------082EDCB7F4C71EE8A005FFCB" Content-Language: en-US X-Original-Sender: sojakova.kristina@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=iyNo9HJk; spf=pass (google.com: domain of sojakova.kristina@gmail.com designates 2a00:1450:4864:20::42a as permitted sender) smtp.mailfrom=sojakova.kristina@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , This is a multi-part message in MIME format. --------------082EDCB7F4C71EE8A005FFCB Content-Type: text/plain; charset="UTF-8"; format=flowed 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 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 joha...@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. -- 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/def6c87a-14b1-0e3d-71c9-4196455fb334%40gmail.com. --------------082EDCB7F4C71EE8A005FFCB Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 
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 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
=
joha...@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/postin=
gs/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.


--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msg= id/HomotopyTypeTheory/def6c87a-14b1-0e3d-71c9-4196455fb334%40gmail.com.=
--------------082EDCB7F4C71EE8A005FFCB--