verification

event

Visible to the public  FMCAD 2021
Oct 19, 2021 8:00 am - Oct 22, 2021 8:00 pm EDT

International Conference on Formal Methods in Computer-Aided Design (FMCAD)

Yale University, October 19-22, 2021

https://fmcad.org/FMCAD21/

CONFERENCE SCOPE AND PUBLICATION

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