* Postdoc at AFRL
@ 2017-05-16 22:01 Steve Awodey
0 siblings, 0 replies; only message in thread
From: Steve Awodey @ 2017-05-16 22:01 UTC (permalink / raw)
To: Categories
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/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2017-05-16 22:01 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-05-16 22:01 Postdoc at AFRL Steve Awodey
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).