Scribd
Upload
22 views2 pages

Tifr Adv

Uploaded by

sriguhan
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
22 views2 pages

Tifr Adv

Uploaded by

sriguhan
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

TATA INSTITUTE OF FUNDAMENTAL RESEARCH

National Centre of the Government of India for Nuclear Science and Mathematics and
a Deemed University
Homi Bhabha Road, Colaba, Mumbai 400 005
Website: www.tifr.res.in Telephone: 022-2278 2000

Advertisement No. 2024/20


Applications are invited for one position of Junior Research Fellow (J.R.F.) to work for the “VeriLearn”
Project (PI: Dr. Shibashis Guha) in the School of Technology and Computer Science (STCS) TIFR,
Mumbai.

Nature &
Age Limit and
Post Qualification Job Description Period of
Fellowship
Post
Junior Essential: At least 4-year The J.R.F. will be involved in Age: Temporary
Research degree B. E./ B. Tech/B.S. or various tasks related to Preferably below appointment
Fellow equivalent in Computer developing theory and 28 years on date for a period
(J.R.F.) Science, Mathematics, experimental framework as part 01.09.2024 of one year
Physics, Electronics & of the project which is broadly with a
Communication, Electrical outlined as below. Fellowship: possibility of
Engineering with minimum It will be a JRF extension for
60% marks or 6.2 CGPA - Use of machine learning position with a one more
techniques by formal fellowship of year. The
• Candidates must have methods researchers for the Rs.37000/- (JRF) + extension is
completed courses in at least purpose of verification is HRA as subject to
two of the following areas: relatively new. admissible. satisfactory
• Theory of - Scalable learning algorithms performance.
Computation are used to speed up
• Complexity Theory verification, while
• Formal Verification / guaranteeing safety at the
Formal Methods same time.
• Probability and - We consider Markov
Statistics (including decision processes (MDP)
concentration and continuous time Markov
inequalities and decision processes (CTMDP)
hypothesis testing) for which we would like to
learn a near-optimal
(Candidates with above controller that aims at
qualifications and those with maximizing satisfaction of
master’s degree like M. Tech/ different objectives while
M.E./M. Sc/M.S./M.C.A.) can providing guarantees on them
also apply. at the same time.
- The project will also explore
Technical Skill: use of machine learning in
• Knowledge of areas related to multi-agent
programming in at least path finding (MAPF) to find
one of the following better schedules for collision
languages is required: avoidance.
Python, C, C++, or Java,
either through coursework
or project experience.
• Exposure to machine
learning and SAT-SMT
solvers will be considered
an added advantage.
Send a detailed CV including educational qualifications, additional qualifications like P.G. degree,
qualifying national level entrance tests, publications, awards, copies of transcripts of academic degrees.
CV should include date of birth, present affiliation and occupation, address, contact number, and email id.
Also, give name, email id, affiliation, and address of at least two referees, who are familiar with your
recent academic activities and relevant project experiences.

LAST DATE FOR RECEIPT OF APPLICATIONS IS OCTOBER 15, 2024.


Send the application to Dr. Shibashis Guha via email to [email protected] with subject line as
"Application for J.R.F. position for “VeriLearn". Queries about the application process or the J.R.F. position can
also be sent to the same email address.

You might also like