[FM-India] Formal-methods/ML4SE Postdoc Application Deadline Approaching [August 10, 2021]

[Arpit Sharma]

Dear Academicians/Researchers,
An institute funded post-doctoral research position is available in the
department of Electrical Engineering & Computer Science (EECS) at the
Indian Institute of Science Education and Research Bhopal (IISERB), India.

The postdoc position is available in one of the following areas:

1) Formal Verification & Model Checking
or
2) Machine Learning for Software Engineering/Software Analytics

For more information about the postdoc position, employment benefits,
requirements, and application form (deadline August 10, 2021) please see:
https://www.iiserb.ac.in/dofa/vacancy

Please share this information with your PhD/Postdoc students and colleagues
in academia.

Informal enquiries can be sent to  Arpit Sharma (arpit at iiserb.ac.in)

Thanks.

Kinds regards,
Arpit Sharma