Dear all
We are pleased to announce *three research assistant positions* at the post-bachelor's
(pre-PhD/pre-doc) and *two PhD positions* in the ANRF-funded project "Scalable,
Robust, and Trustworthy Program Synthesis". The project investigates automated
synthesis when the specification is partial or contradictory, combining techniques from
SAT , SMT, and reinforcement learning.
Both the positions are at Ashoka University, Sonipat (NCR).
*Research* *Assistant* *Positions:*
Duration: 12 months to up to 36 months, with renewal after every year based on the
performance of the candidate.
The positions are available immediately. Applicants must have at least a
three-year undergraduate degree in Computer Science (or be in the process of concluding
one by June 2026). A master's degree is preferred but not necessary.
Required qualifications: strong level of familiarity with algorithms, logic, and formal
methods; s trong programming skills; f amiliarity with automata, games, and complexity is
appreciated
** *PhD* *Positions:*
PhD program will be the regular program at the Vachani School of Advanced Computing (
https://www.ashoka.edu.in/programme/new-horizons-in-computer-science-ph-d-p… ).
I will be glad to answer further questions and look forward to receiving your application
for this exciting research opportunity! If interested, please contact me and send y our CV
and the name of one reference. For more details, contact me at thakkar(a)ashoka.edu.in.
Thank you
*Aalok Thakkar* *(* *આલોક ઠક્કર)*
Assistant Professor, Department of Computer Science
+91 98982 29865 | aalok-thakkar.github.io (
http://aalok-thakkar.github.io )
Please note: this email may have been sent at a time that aligns with my schedule.
Managing work and life responsibilities is unique to each person; kindly respond at a time
that works best for you.
Sent via Superhuman (
https://superhuman.com/refer/1a2nj18b?utm_medium=signature&utm_source=p… )
--
*Confidentiality Notice:* This email and any attachments may contain
confidential or privileged information. If you are not the intended
recipient, please notify the sender by replying to this message, and then
delete the email and any attachments permanently. Thank you.