[FM-India] Postdoc position in Formal Methods at IIT Bombay

[Supratik Chakraborty]

A post-doctoral position (Senior Research Scientist) in Formal Methods
has become available at IIT Bombay for a project titled "Formal
Verification of Large Scale Computer Systems".

The selected candidate is expected to take a leading role in
formulating and implementing novel formal verification techniques for
large software/hardware systems using a mix of model checking, theorem
proving and/or process algebraic techniques.  There is scope for both
novel foundational/theoretical work and system development work as
part of this project.  The selected candidate is expected to interact
and work closely with members of the Centre for Formal Design and
Verification of Software (http://www.cfdvs.iitb.ac.in) at IIT Bombay.
Candidates *must* have a good background in both theory and practice
of formal methods (preferably as applied to formal verification),
although some requirements may be relaxed for exceptional candidates.

In order to be eligible for the position, a candidate must have

(i) a Ph.D. in Computer Science or related area with specialization in
formal Methods from a reputed university in India or abroad,

(ii) publications in refereed international journals/conferences/
symposia,

(iii) demonstrated interest in developing theory and systems for
applying formal methods to real-life verification problems,

(iv) prior experience in the use of formal methods in earlier
projects.  Candidates with at least one year post-Ph.D. experience in
research in formal methods be preferred.

The remuneration and facilities to be provided are among the best
offered to Computer Science post-docs in the academia in India.  The
selected candidate will receive free family housing on the lush-green
IITB campus plus a consolidated salary of upto Rs. 60000 per month.
In addition, she/he will be entitled to usual facilities (like
healthcare facilities) available to project staff at IIT Bombay.

The position is currently for one year, and is likely to get extended
to at least three years depending on the performance of the candidate.

For more details, please visit
http://www.ircc.iitb.ac.in/IRCC-Webpage/RecruitmentGenerateAdverqtisement.jsp?advcirno=F-18/P%2804%2910-11
and look for the advertisement under Job Code P(04-2).  You may also
visit http://www.ircc.iitb.ac.in/IRCC-Webpage/JobOpportunities.jsp and
click on the fourth circular details (Advertisement
No. F-18/P(04)10-11 dated 07-07-2010).  For any additional queries or
clarifications, please send an email to Supratik Chakraborty
(supratik at cse.iitb.ac.in) with subject "Postdoc clarifications".

The last date for receipt of the application (preferred online at
http://www.ircc.iitb.ac.in/IRCC-Webpage/HRMSLoginPage.jsp ) is July
30, 2010.