[FM-India] Institute Funded Postdoc [Formal Methods/Model Checking/ML4SE]

[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 is expected to do research 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


Arpit Sharma
Assistant Professor and Head-in-charge,
EECS Department, IISER Bhopal
Homepage : https://sites.google.com/iiserb.ac.in/arpit-sharma/