Stony Brook University PostDoc position available now on Formal Methods & Power Systems

Position Announcement

PostDoc position available now on Formal Methods & Power Systems

Professor Scott Stoller and I in the Computer Science Department at Stony Brook University are looking to hire a PostDoc to join a new research project on AI-enabled, provably resilient electric power systems, specifically, networked microgrids, which will become more common as renewable energy resources such as wind and solar are incorporated into power grids. The project is a collaboration with Professors Peng Zhang and Xin Wang in the Electrical Engineering department and is supported by a recently approved grant from the National Science Foundation.

Our part of the project focuses on using machine learning and formal methods to design control software for networked microgrids that is high-performing, resilient, and ensures desired guarantees about power flow.

The PostDoc position is for one year, ending August 31st, 2021, with a very good chance of being extended for up to two years.

Interested parties should please send their CV to sas@cs.stonybrook.edu, and briefly describe their familiarity, if any, with differential equations, electric power systems, machine learning, formal methods (such as reachability analysis), and programming in Python andMatlab.

***Due to the fact that we are looking to hire someone ASAP, applicants should be a US citizen or have a US work visa.***

Best regards,
Scott Smolka
https://www3.cs.stonybrook.edu/~sas/
sas@cs.stonybrook.edu