Postdoctoral positions at the University of Texas at Austin

Drs. Isil Dillig and Ufuk Topcu from the University of Texas at Austin are looking for a post-doctoral researcher to work on an NSF CPS Frontier project on "data-driven cyberphysical systems". The project aims to leverage existing data in the context of synthesizing and verifying cyberphysical systems along with their applications in 3D printing.

Expertise in one or more of the areas of formal methods, programming languages, automata learning and machine learning is preferred.

The position is initially for one year and renewable on a yearly basis subject to the availability of funds.