From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Thu, 12 Apr 2018 08:05:41 -0700 (PDT)
From: sanjeevi krishnan <sanjeevi...@gmail.com>
To: Homotopy Type Theory <HomotopyT...@googlegroups.com>
Message-Id: <ca8335e3-45c6-405b-92d7-859c72748e29@googlegroups.com>
Subject: postdoc position available in semantics of dynamical systems
MIME-Version: 1.0
Content-Type: multipart/mixed; 
	boundary="----=_Part_3406_809667282.1523545541157"

------=_Part_3406_809667282.1523545541157
Content-Type: multipart/alternative; 
	boundary="----=_Part_3407_2093841774.1523545541161"

------=_Part_3407_2093841774.1523545541161
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit

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.

------=_Part_3407_2093841774.1523545541161
Content-Type: text/html; charset=utf-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Dear all:<div><br></div><div>This is a message on behalf o=
f Jared Culbertson at the US Air Force Research Laboratory (AFRL), perhaps =
of special interest for budding directed type theorists out there...</div><=
br>As part of AFRL, he is looking to hire a postdoc for a project that is f=
ocused on studying categories of (various classes of) dynamical systems. Th=
e project has dual, interconnected purposes: (i) developing categorical mod=
els of coupled, physically realizable nonlinear systems and their propertie=
s; as well as (ii) exploring the internal structure of these categories wit=
h an eye toward type- theoretic connections.<br><br>Candidates must be U.S.=
 citizens, preferably with a background in applied category theory, type th=
eory or related fields. The position is in Dayton, Ohio, USA, for one year =
with two additional years possible; the starting date is flexible.<br><br>I=
f interested, please direct all CVs/cover letters/inquiries to Jared at jar=
ed.cu...@us.af.mil.<br></div>
------=_Part_3407_2093841774.1523545541161--

------=_Part_3406_809667282.1523545541157--