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; familiarity with automata, games, and complexity is appreciated PhD Positions: PhD program will be the regular program at Ashoka University ( 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 -- *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.