Email Gateway (Nov 30 2025 at 15:59): Email Gateway (Nov 30 2025 at 15:59):From: Vineet Rajani <vineetrajani.work@gmail.com>
Hello everyone,
I have a fully-funded PhD position in my group at University of New South
Wales (UNSW) Sydney.
The candidate will broadly work in the area of programming languages and
formal analysis, broadly construed. Depending on the interest of the
applicant, possible research directions include building new methods (e.g.
type theories or program logics) to reason about interesting properties
(e.g. pertaining to security or privacy, secure and verified compilation,
complexity/cost analysis) of programs (e.g. higher-order functional,
imperative and/or probabilistic), including their mechanisation. More
information about my work and research interests can be found here:
https://vineetrajani.github.io/
Information about the PhD program and the application process can be found
here: https://www.unsw.edu.au/research/hdr/phd. I am looking to fill this
position ASAP. Interested applicants should contact me before submitting a
formal application. For any queries formal or informal, please do not
hesitate to get in touch with me (v.rajani@unsw.edu.au)
Best regards,
Vineet Rajani
Last updated: Dec 02 2025 at 16:32 UTC