[FM-India] Research positions on Formal Methods at IIT Kharagpur

Madhavan Mukund madhavan at cmi.ac.in
Mon Mar 27 08:55:20 IST 2017

----- Forwarded message from pallab at cse.iitkgp.ernet.in -----

Date: Sun, 26 Mar 2017 14:48:48 +0530 (IST)
From: pallab at cse.iitkgp.ernet.in
Subject: FM-India: Research positions on Formal Methods at IIT Kharagpur


At IIT Kharagpur, young researchers from Computer Science, Electrical,
and Electronics have come together to address some of the emerging
research challenges in automotive control, safety critical avionic
software, digital and analog integrated circuits, railway signaling /
train control systems, and smart electrical grids.

Proving the safety of such systems is one of the most significant
concerns in these industries. Formal methods are logic based
techniques which originated from Artificial Intelligence and have been
refined over the years through new algorithms and powerful back-end
SAT/SMT solvers to prove the correctness of a wide variety of software
and hardware based systems. Leading organizations like NASA, Intel,
Microsoft and Google have dedicated groups of researchers on formal

The Formal Methods Research Group, IIT Kharagpur is one of the most
well known groups in this area with active collaborations with many
industries. We have recently partnered with IIT Bombay and IIT Kanpur
to set up a Center on Formal Methods for Safety Critical Systems under
the IMPRINT program of the Ministry of Human Resource Development.

The following positions are in offer for exceptional MS / PhD / Postdoc

1. Research Consultant (2 positions) with remuneration up to Rs. 35000
(depending upon qualification & experience)

2. Post Doctoral Fellow (1 position) with remuneration up,to Rs. 70000
(depending upon qualification & experience)

For more information on the forthcoming projects, please see the group's 
homepage: http://cse.iitkgp.ac.in/~fmres

Interested candidate may apply through the online portal here: http://

Please scroll down the list of advertisements and apply against the
project with title "FMSAFE: A Networked Centre for Formal Methods in
Validation and Certification Procedures for Safety - Critical ICT
Systems at IIT Kharagpur" with Principal Investigator (PI)
Prof. Pallab Dasgupta.

Dr. Pallab Dasgupta
Dean (Sponsored Research & Industrial Consultancy), and
Professor, Department of Computer Science & Engineering,
Indian Institute of Technology Kharagpur.

Ph: +91-3222-282047, 283470 (off) 283471 (res)
Web: http://cse.iitkgp.ac.in/~pallab

----- End forwarded message -----

More information about the FMIndia mailing list