[FM-India] Research Position

[Ateet Bhalla]

Master, PhD student, PostDoc at IISC Bangalore, IISER, IIT, TIFR, IIIT,
interested to work on international project "Software Test Automation
through efficient Model-Checking Technology". Interested candidates should
inquire for further information by sending email to Dr. Ateet Bhalla (
bhalla.ateet at gmail.com)


--
Ateet Bhalla, PhD
Department of Computer Science and Engineering,
Oriental Institute of Science and Technology, Bhopal, India
http://oistbpl.academia.edu/DrAteetBhalla
Phone: +91-9425678020
Formerly at National Institute of Informatics, Tokyo, Japan(Post-Doctoral
Researcher)
INESC-ID Research Lab, Technical University of Lisbon, Portugal(Doctoral
Researcher)