Passing along the following opportunity:

The Air Force Research Laboratory (in Dayton, Ohio) has an opening for a 3 year postdoc position, roughly starting in Fall 2017 to work on a project focused on studying categories of (various kinds of) dynamical systems with one eye toward interesting categorical semantics and the other toward realizability in physical systems. The project will involve a collaboration with the kod*lab robotics group led by Dan Koditschek (University of Pennsylvania). We are looking for interested US citizens who have a background in type theory, categorical semantics, dynamical systems or related areas. Please contact Jared Culbertson (jared.culbertson@us.af.mil) for more information.

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]