postdoc position available in semantics of dynamical systems
0 views
Skip to first unread message
sanjeevi krishnan
Apr 12, 2018, 11:05:41 AM4/12/18
to Homotopy Type Theory
Dear all:
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.
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.
Reply all
Reply to author
Forward
0 new messages