----- Forwarded message from Mandayam Srivas <mksrivas@hotmail.com> ----- From: Cristina David <cristina.david@gmail.com> Sent: Monday, July 24, 2023 1:13 PM To: Mandayam Srivas <mksrivas@hotmail.com> Subject: Re: Lecturer in Programming Languages at Bristol Dear Srivas, It was very nice seeing you at CAV! I'm not sure whether I mentioned this at the conference, but we are recruiting a new lecturer in the Programming Languages group (https://www.bristol.ac.uk/jobs/find/details/?jobId=316176&jobTitle=Lecturer%...). This is the ad (unfortunately, the deadline is very soon): https://www.bristol.ac.uk/jobs/find/details/?jobId=316176&jobTitle=Lecturer%... I'd really appreciate it if you could send it to anyone that might be interested. Thank you, Cristina ----- End forwarded message -----