verification

forum

Visible to the public Postdoc Opening at Stony Brook University

Stony Brook University has an immediate opening for a postdoc in the area of formal verification of hybrid systems, CPS, and neural networks. The postdoc will work primarily with professors Stanley Bak and Scott Smolka.


Application website: https://stonybrooku.taleo.net/careersection/2/jobdetail.ftl?job=2002865