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

Arpit Sharma arpit at iiserb.ac.in
Sun Aug 8 11:24:47 IST 2021

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
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:

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)


Kinds regards,
Arpit Sharma

More information about the FMIndia mailing list