* postdoc position available in semantics of dynamical systems
@ 2018-04-12 15:05 sanjeevi krishnan
0 siblings, 0 replies; only message in thread
From: sanjeevi krishnan @ 2018-04-12 15:05 UTC (permalink / raw)
To: Homotopy Type Theory
[-- 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 --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2018-04-12 15:05 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-04-12 15:05 postdoc position available in semantics of dynamical systems sanjeevi krishnan
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).