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: www.seek.com.au/job/70985753 Your assistance in spreading the word about this opportunity to anyone who might be interested would be greatly appreciated. - - Charles Gretton & Michael Norrish _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
