Email Gateway (Oct 25 2023 at 09:54): Email Gateway (Oct 25 2023 at 09:54):From: Michael Norrish <cl-isabelle-users@lists.cam.ac.uk>
Dear all,
We are writing to inform you that we've recently posted a 2-year Research Fellow position at the Australian National University in Canberra.
This project consortium's research focuses on a wide range of topics, primarily centered around Boolean SAT and SMT, with additional work in Automated Planning. We are particularly interested in researching and developing new representations and algorithms that enable us to make productive use of heterogeneous computing environments. Notably, we collaborate closely with practitioners who present us with challenging real-world problems that motivate some of our research directions.
If you and/or your students might be interested, please share the following link to the job advertisement:
Your assistance in spreading the word about this opportunity to anyone who might be interested would be greatly appreciated.
Charles Gretton & Michael Norrish
Last updated: Apr 28 2024 at 20:16 UTC