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 ([email protected]) Best regards, Vineet Rajani
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
