[FM-India] Research Position

Ateet Bhalla bhalla.ateet at gmail.com
Sat Oct 26 13:05:06 IST 2013

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
Phone: +91-9425678020
Formerly at National Institute of Informatics, Tokyo, Japan(Post-Doctoral
INESC-ID Research Lab, Technical University of Lisbon, Portugal(Doctoral

More information about the FMIndia mailing list