From: sanjeevi krishnan <sanjeevi...@gmail.com>
To: Homotopy Type Theory <HomotopyT...@googlegroups.com>
Subject: postdoc position available in semantics of dynamical systems
Date: Thu, 12 Apr 2018 08:05:41 -0700 (PDT) [thread overview]
Message-ID: <ca8335e3-45c6-405b-92d7-859c72748e29@googlegroups.com> (raw)
[-- Attachment #1.1: Type: text/plain, Size: 951 bytes --]
Dear all:
This is a message on behalf of Jared Culbertson at the US Air Force
Research Laboratory (AFRL), perhaps of special interest for budding
directed type theorists out there...
As part of AFRL, he is looking to hire a postdoc for a project that is
focused on studying categories of (various classes of) dynamical systems.
The project has dual, interconnected purposes: (i) developing categorical
models of coupled, physically realizable nonlinear systems and their
properties; as well as (ii) exploring the internal structure of these
categories with an eye toward type- theoretic connections.
Candidates must be U.S. citizens, preferably with a background in applied
category theory, type theory or related fields. The position is in Dayton,
Ohio, USA, for one year with two additional years possible; the starting
date is flexible.
If interested, please direct all CVs/cover letters/inquiries to Jared at
jared.cu...@us.af.mil.
[-- Attachment #1.2: Type: text/html, Size: 1002 bytes --]
reply other threads:[~2018-04-12 15:05 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly 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:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=ca8335e3-45c6-405b-92d7-859c72748e29@googlegroups.com \
--to="sanjeevi..."@gmail.com \
--cc="HomotopyT..."@googlegroups.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).