Dear all, In case you know any PhD students / post-docs who are looking for a job, the Bristol Programming Languages Group<https://bristolpl.github.io/> is hiring a Senior Research Associate. The candidate will perform research under the supervision of Dr. Cristina David and Dr. Meng Wang . The group has a wide range of interests and a strong international reputation in areas such as program verification/analysis, program synthesis and repair, functional programming, type theory, and cryptography. More recently, we have focused on applying machine learning for program analysis and synthesis (candidates with machine learning experience are welcome). The group is well connected with leading research groups globally and its research is supported by major funding agencies and industrial giants, e.g. Huawei, Meta, Amazon, Github. The position is for 2 years, with the possibility of extension. The closing date is 19 March 2023. https://www.bristol.ac.uk/jobs/find/details/?jobId=305015&jobTitle=Senior%20... For any queries, please contact Cristina David (cristina.david@bristol.ac.uk<mailto:cristina.david@bristol.ac.uk>), or Meng Wang (meng.wang@bristol.ac.uk<mailto:meng.wang@bristol.ac.uk>). Best wishes, Cristina & Meng