Dear all,
In case you know any PhD students / post-docs who
are looking for a job, the Bristol Programming Languages Group 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.
For any queries, please contact Cristina David (cristina.david@bristol.ac.uk),
or Meng Wang (meng.wang@bristol.ac.uk).
Best wishes,
Cristina & Meng