Visible to the public Postdoc Opening at Stony Brook UniversityConflict Detection Enabled

No replies
stanleybak's picture
Established Community Member
Joined: Apr 29 2015

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:

Preferred Qualifications:
Researchers with an interest and experience in any related areas are encouraged to apply. Particular interest is desired in verification methods for neural networks, hybrid systems, cyber-physical systems, Simulink model verification.

Brief Description of Duties:
The postdoctoral associate will conduct research in the broad area of formal verification with a special focus on systems with continuous or hybrid state spaces. The research will be conducted at the Reliable Systems Lab, working primarily with the following team members:

Stanley Bak ( Scott Smolka (

The postdoc will write papers and be involved in general research activities such as advising graduate students involved in the project and giving presentations and conference talks. The successful candidate will have excellent writing and communication skills, in addition to her/his experience in formal verification.

  • Conduct research within the above scope.
  • Coordinate research efforts within the group, interacting closely with graduate and undergraduate students.
  • Participate in manuscript writing for publication in scientific conferences/journals, presentations, and federal/state grant applications.
  • Other duties as assigned