[logic-ml] Post-doc position available at AIST Kansai: Test generation/optimization