[logic-ml] Open Position at the RCIS/JAIST