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-pr... ). 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@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=produc... ) -- *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.