The US Air Force Research Laboratory 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.
For more information or to apply, please contact Jared Culbertson at email@example.com.