7 September 2017:
Two bits of progress:
1) Brendan Fong has arrived at MIT and is starting to enjoy the 3:30 math department teas, and Jacob Lurie's weekly seminar on higher categories and homotopy theory.
2) There's a postdoc for someone working in applied category theory! I strongly urge Jason to apply for this, because it looks exactly like the stuff he does. So, Jason, even if you're hoping to get the U. Penn job, you should apply for this too. I told the guy who emailed me, Spencer Breiner, that you would be good for this position.
Here's the email I got about this:
> Dr. Baez,
> Hello. My name is Spencer Breiner, and I am a researcher at the US National Institute for Standards and Technology.
> I am writing because my colleague, Eswaran Subrahmanian, has recently obtained funding for a one-year postdoc in applied category theory. We are currently searching for candidates, and I am hoping that you would be willing to post an advertisement on the n-Category Café and/or your Azimuth blog. The project itself will draw from your own work with Brendan Fong on passive linear networks.
> An announcement for the position is listed below. If you have any question or requests please let me know and I will be happy to provide additional information.
> Thanks for your help,
> Spencer Breiner
> One Year Postdoc Position at Carnegie Mellon/NIST
> We are seeking an early-career researcher with a background in category theory, functional programming and/or electrical engineering for a one-year post-doctoral position supported by an Early-concept Grant (EAGER) from the NSF's Systems Science program. The position will be managed through Carnegie Mellon University [PI: Eswaran Subrahmanian], but the position itself will be located at the US National Institute for Standards and Technology (NIST), located in Gaithersburg, MD outside of Washington, DC.
> The project aims to develop a compositional semantics for electrical networks which is suitable for system prediction, analysis and control. This work will extend existing methods for linear circuits (featured on this blog!) to include (i) probabilistic estimates of future consumption and (ii) top-down incentives for load management. We will model a multi-layered system of such ``distributed energy resources'' including loads and generators (e.g., solar array vs. power plant), different types of resource aggregation (e.g., apartment to apartment building), and across several time scales. We hope to demonstrate that such a system can balance local load and generation in order to minimize expected instability at higher levels of the electrical grid.
> This post is available full-time (40 hours/5 days per week) for 12 months, and can begin as early as October 1st.
> For more information on this position, please contact Dr. Eswaran Subrahmanian (email@example.com) or Dr. Spencer Breiner (firstname.lastname@example.org).