Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Postdoc position at Kyoto University, Japan

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Postdoc position at Kyoto University, Japan


Chronological Thread 
  • From: Kohei SUENAGA <ksuenaga AT gmail.com>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Postdoc position at Kyoto University, Japan
  • Date: Tue, 28 Feb 2023 15:32:44 +0900
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ksuenaga AT gmail.com; spf=Pass smtp.mailfrom=ksuenaga AT gmail.com; spf=None smtp.helo=postmaster AT mail-ed1-f48.google.com
  • Ironport-data: A9a23:OQtKz6yj11cpkXgLFJJ6t+fjwirEfRIJ4+MujC+fZmUNrF6WrkUDy mYdWG/SOauLZjPye9h0adi3/B8H68CDyYVrSlBu+1hgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOOU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEALjim4c3l48sfrZ80s15qSq4Vv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFO3xNlvKXMWE7YioNYrPmxU8 947dRsCO0Xra+KemNpXS8Fpj8UnacTnZcYR5iEmwjbeAvIrB5vERs0m5/cChGZ21p0IR66OI ZZJAdZsREyojxlnOUwKBZQ3k+6AiXz2cjkeo1WQzUYyyzSDk1wrgOawWDbTUtvVb+cS3WGYm kLho37pHAMUbsGtwAPQpxpAgceWxX+hMG4IL5Wz8ecvi1mOzEQIGRgOXB26p+O4gwiwQbpix 1c8/yMvqe0/+BXuQIWtGRK/p3GAs1gXXN84//AGBB+lka344iOrJkY/dGRxNOMrrskUZmEB2 Qrc9z/2PgBHvLqQQHOb076bqzKuJCQYRVPugwdUHWPpBPGz8OkOYgLzosVLS/Hq04Wkcd3k6 3Xb83hk3uR7Ydsjjv3jpTj6bySQSo8lpzPZCy3SV2Ohqw51PcurO9zu5l/c4vJNao2eSzFtX UToeeDPt4ji7rnXzERhpdnh+pn3t55p1xWC3DZS82EJrWjFxpJaVdk4DMtCDEloKN0YXjTif VXevwhcjLcKYiT1MPUtPdjsVJ51pUQFKTgDfqCEBjapSsghHDJrAAkzDaJt9zq8zBB9zf9X1 WmzLZ3zUB729piLPBLvH7tHuVPa7i85wmzXSPjGI+ePgNKjiIquYe5dajOmN7hnhIvd+Vm92 4sBaqOilkoHOMWgOHW/2dBIdjgicyNrba0aXuQNKYZv1CI9SD9/YxIQqJt9E7FYc1N9zL6Tr yzlABMAmTISRxTvcG23V5yqU5u3Nb4XkJ7xFXVE0Y+AiiN7M7W8prwSbYU2drQB/eluh6w8B focdsnKRrwFRj3b8n5PJdPwva5zRiSN3AiuBiuCZCRgXphCQweSxMToUDGy/wYzDw22l/AEn Zue6i3hT6A+GjtSVPTtVKr3znean2Qsp+Zpbk6ZfvhRYBrN9aZpGQzQj9g2AccGFjvbzBDH1 QzMWRY8jsvOqr8T79Pmq/2lrYCoMu0mBWtcPTDRwoiXPBng3FiI4NF/QsfRWhvCRkbYxb6EW dxF693dbNgWg0dssadnNrRgkJIF+NrkooFFwjReHHnka0qhDpViKCKk2fZjm7JsxLhLnxmfQ WOKp8dnPIuWNPPfEFI+IBQvasKB36o2nhjQ9fEEH1Xo1hRo/baoUVRgADfUsXZzdIBKCYICx fstnOU06Abl0xojDYugvxBurm+JKiQNbrUjupQkG7TUswsMyG8TRbzHCyTz3oODVMUUDGkuP Q2vpfTjg5Zy+xP8VkQdRFn388hTv5AsgCxx7UQjIg2Jk+XVh/Vs0xx29y82fztvzR5G8rxSP 2R3BnJxPoGL2Sliv+lYfmWWAwoaLgaoyk/w7FoolWPiUEijUFLWHlA9Ieqg+EM48XpWWzpmo JW07XnDaimzWu3cxQ4wVlxBh925aOdu5yvQnMyDNOaULakQODbKrPenWjsVlkHBH8g0unzim cBr2+RVMojQKi8apvwAObmwjLg/ZkiNGz1ffKtH4qgMIGD7fQOy0xioL2SaWJtEB97OwH+CJ /1eHOB9fDXg63/WtREeP7AGHJFslv1w5NYiRKLiFVRbj5Sh9AhWoLDi3Qmgol9zWNh/s9cPG qWIfRK4L2Ggr391mWjMkcp6BlSFceQ0PA3S4M3l8cEiNY4yj+V3QERjjpq2pyq0NSVkzTK1v STCRbPn8Oh57btSnK7XS6BlKwqpG4miStbS4ASXtvJQZ+juKubLjRse8XP8DjRVPJwQetV5r quMu9jJx3H4vK46fmTaupuZHYxbzJ+WcMsOFeyvN1hcvy+JePG00is542ridKB4yoJM1PeoV y6TSZWWd+dMf/x/2XcMSSxVMyhFOpTNdq26+B+M9aWdOCM8jz7CAsisr0LyTGdhcSQNBZ3yJ yn0t9uq5fFatI58PwAFNd43H65HJELfZoV+e+3TrTW4CkyasmGGsJbmljsi7mjFNCDVWoKyq 5fIXQP3exmOqbnFhoMR+ZB7uhoMSm1xm68sd0Ya4MR7kC2+EHVAF+kGLJEaEdtBp0QeDn0ji O3lNwPOyBkRXAiotT356dXnGwqTX6kAZoe/KTsu8EeZLSyxAetsxVenGjhIux9LlvnLlYlL6 u3yPlX/OxGwxtdiQuN7CjmTn7J83v2Drp4X0RmVriExairyxZ0F0XVgGExGUimv/wQhUqnUD TBdeF2oi31XhaI8/QiMtpKV9NwkUOvT8ggV
  • Ironport-hdrordr: A9a23:L52M5Ky2GWwEpd785hWEKrPwL71zdoMgy1knxilNoHtuA6qlfq GV7ZMmPHrP4gr5N0tQ+uxoVJPhfZq+z/9ICOsqTNWftWDd0QPCEGgI1/qG/9SPIVybygef78 tdmmpFZeEYwWIUsS8y2meFL+o=
  • Ironport-phdr: A9a23:7pikEReNOmvlc1tFGBYk3lA2lGM+l9TLVj580XLHo4xHfqnrxZn+J kuXvawr0AWUG9yKsrkV16L/iOPJZy8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T 4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglWhDexe65+I RGroQnessQbjpZpJ7osxBfOvnZHdONayH9yK1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU 7FWFSwqPG8p6sLlsxnDVhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4 ql3RBP0jioMKjg0+3zVhMNtlqJWuB2uqRxxzYDXfY+bKuZxcKzGcNMGXGpMRNpdWzBdDo6+a YYEEuoPPfxfr4n4v1YAqBy+BQmyC+Pu1zRGm3H506Ii3ek9EA/LwBErEtUNsHTPsdX6KqESX vq6zKbS1jjDYPZW1i386IjMaBwuvfaMXbdpfMfX1EIgGB/LgE+Kpoz5IzOayP4Ns26D4uRuW uyjlWEppgJvrjWtyckihIbEiIwVx13Z6Sl13YU4K9O7RUN7fdKpE59dujyGO4Z1Rs4sTX9kt SYmx7EYp5O2ejUBxpogxx7acfOHco6I7wrgVOeRJjd4mHVldKuihxqo60ev1vfwVsus0FtMs yFLkcHMu2gT2xDP7sWLUPhw80e71TqRywze6ftILE83mKfdNpUv2KQ/loAJvkTGBiL2mFv5j KuRdkg8/+in8eXnYrH/qpCCKoB4lxjyMqohl8G8G+g4PQ8OX2+U+eS4yrLv51H2QLJPjvEuk 6nZto7VJdgDq6KnHwNY1pwv5hW/Aju8ztgUgXoKIEhKdR+El4TpPkvBIPH8DfexmVSslzJry ujFPr36H5XCMH7Dn63ufbln8ENcxw8zwspe55JQEL0OPPXzWkrpuNzeFRA2Kxa0zPr/CNVhy oMeXnqCDrKBPKPIrVCI/v4vI/WLZIINpDn9LOEl6+fygn89hF8SZrKk3YAXaXC9BvRpOV+VY XvqgtcbEGcFpBAyTOLwiA7KbTkGbHGrGqk4+zsTCYS8DI6FSJr+rqaG2XKYGZ1bZyh9N32qO FjBP9GHQOoBbiudK+dulzUFUf6qTIp3hkLmjxPz17cydrmcwSYfr5+2jLCdhsXWnBA2rnlvC tiFlnqKVydyl38JQDk/2OZ+p1Z8wxGNy/swmORWQPpU4f4BSQImLdjE1eUvCMvvVwTIcd6hR 1OvQ9HgCjY0HZoq29FbW09mAJ25iwzbmS+jArsbjbuOUZ8v76/a1nf4D8l4wnfCkqImigpuW dNBYEuhgKM37A3PH8jJnkGewr6tbrgZ1TXR+X2ryGOPuARVXFc1X/mVG38YYUTSoJLy4Uaqo 6aGL7MhP0MBzMeDLvAPcdj1lRBdQ++lPt3CYmW3kmP2BBCSx7rKYpC4M2MalD7QDkQJiWVxt T6PKBQ+CyG9omnfEC0mFFThZFnp+PV/r3XzR1E9zgWDZUlsn7Sv/RtdifuZQvIVlrUK3UVp4 zZvAVu71t3fI9WFrgtlOq5bZJJ14VtK037Yqx0oJoapfOhpgl8TdRgyvlu7jU0mTNUd15Jy/ DV2nFkXS+rQyl5KejKG0IqlP7TWLjK35xWzc+vN3UmY1t+K+6AJ4fB+qlP5vQjvGFBxlhcvm 9RTzXaY4Y3HSQQIVpekGEUs6hV8rr7TSiY47oLQk3ZrNOPn112Kk8JsH+Yjxhu6Kp1cK76JE gb9GuUVAsGvLKohnF3jPVoUeetV8qAzJcavcfCLjbWqMOhXlzWjlW1b4Yp53ypg7gJEQ/XTl 9YAyvCchU6cUivkyUymqobxkJxFYjcbGiy+zzLlDchffP86cYEOAGaoa8q5o7c2z532RnNe/ VGqL1wD0c6tPxGVahTx0BZR2kIevXG80XHgnnokzndz9vrZgHyGyv+qbBcdP29XWGRu6DWka ZO5idwXRgngbgQkkgek+VevwqFaoKplKGyACUxMfiXwMyRjSv7q7uvEM5MJsst493kHA4HeK RiAR7XwogUXyXbmFmpan3Ugci2y/47+h1p8gX6cK3B6qDzYf9txzFHR/o+5J7YZ0zwYSS1/k TSSCEK7Oozj/s6JmpHKvemWWGeoV5kVei7uh9Dl1mPz9ShxDBuzkurm0N78DAU82CDy/9ZvX CTM6h37Z8O4n7T/OuVhcE5yAVb64McvAYBynLw7g5QI0GQbjJGYrh9l2S/jdM9W0qXkYD8RV CYGlpTLtRP91hQpfTqZgpj0XXKHzo59asmmNykIjzkl4Zkvau/c7aQYz3Ao5APp9USLPac7x nBHlbMv8CJI3b1P4lF2iHzDWvZKWhAJdS30y0bWsZbn9P8RPCD3NuLosSg21dG5UOPc/EcGB Ce/Ks9kRWgqto1+KA6ejye1s92iIYiKK4pU703ckg+c3bcJbstry7xSw3IgYDyY3zVtyvZn3 0U2jdfj49fBeyM1u/jgSh9Aam+sOJhVo2Cxy/4YxoHPgciuBskzQG1aGsu1C6vyQHRK8q24U mTGWDwk9iXBQOSZQF/ZsRY86SqISsHjNmnLdiNAk5M4H0jbfxYZ2EdNDX0sl5o9XGhG3eTHd 0F0rnAU71/88V5Xz/5wcgL4SiHZrRupbTE9TN6eKgBX50dM/RWdN8vW9e91EyxCm//p5AWQN myWYRhJBmAVSwSFAV7kJLyn+djH9aCRGOO/K/LEZbjGp/ZZUr+Ewpem040u+DjpVI3HJn55E /gywVZOR1h8EsXd3jgDEmkZy3KLYMmcqxOxvCZwq4H38fjmXh7u+ZraC7ZWNoYKmVj+iqOCO uiMwSdhfGwAh9VcmDmSkOhZgA5B7kMmPyOgGrkBqyPXGafZm6sMSgUedzs2L8xQqaQ1wghKP 8ffzNLzzL9xyPAvWDInHRTsnN+kYcsSLiSzLlTCUQyIL6mLIzTEyun4ZKq9Tftbi+Ae5HjS8 X6LVlTuODiOjWyjTxe0LeRFlz2WJjRbsYC5NxthUC3tEIKgZRq8P9t6yzYxxPdn4xGCfX5ZO j96fURXq7SW5i4NmfRzFVtK6X99JPWFkSKUhwE3ApkTuPpvRC9zkrADiJzb475c7SUBSfAs3 SWO/phhpFapluTJwT1iAkImQtNji4eCvEEkMqLcpMEoZA==
  • Ironport-sdr: 63fda035_/F742xdQoxUcJaDpEWJfN/8nO2VDtoJNxZNpRyUTPr2G8Xm FOWG+pVL6VSVnqIuYC2zfG5baL6EBB6rnPaBRMA==

(Sorry for cross posting.)

We are currently looking for a postdoctoral researcher to work on the
"CyPhAI: Formal Analysis and Design of AI-intensive Cyber-Physical
Systems" project funded by JST in Kyoto, Japan. The successful
candidate will be collaborating with us on establishing
mathematically-solid methodologies to model, verify, test, monitor,
and control a cyber-physical system in which AI plays a crucial role.
This project involves working closely with a team in Tokyo led by
Masako Kishida (NII) and a team in France led by Thao Dang (CNRS). The
detail of the call can be found here:
https://www.kyoto-u.ac.jp/sites/default/files/acceptance_teacher/2023-02/20230208_0858_e-f67e82e5e49b6b9c49c3eaa70e2bf5a4.pdf

The expected research topics include testing and verifying AI-CPS
using machine learning [3,6,7], secure monitoring techniques using
homomorphic encryption [5], application of model checking and program
logics for AI-CPS [2,4], and interpretability of machine-learned
components AI-CPS [1,8], among others.

The initial contract will run until the end of March 2024, with the
possibility of annual renewal at maximum until March 2026. We welcome
researchers on topics not listed above. If you are interested in this
position, please follow the link to the detailed call for applications
provided below. If you have any questions, please don't hesitate to
contact us!

[1] Yuhki Hatakeyama, Hiroki Sakuma, Yoshinori Konishi, Kohei Suenaga:
Visualizing Color-Wise Saliency of Black-Box Image Classification
Models. ACCV (3) 2020: 189-205
[2] Kohei Suenaga, Takuya Ishizawa:
Generalized Property-Directed Reachability for Hybrid Systems. VMCAI
2020: 293-313
[3] Junya Shijubo, Masaki Waga, Kohei Suenaga:
Efficient Black-Box Checking via Model Checking with Strengthened
Specifications. RV 2021: 100-120
[4] Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga:
Formalizing Statistical Beliefs in Hypothesis Testing Using Program
Logic. KR 2021: 411-421
[5] Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki
Waga, Kohei Suenaga:
Oblivious Online Monitoring for Safety LTL Specification via Fully
Homomorphic Encryption. CAV (1) 2022: 447-468
[6] Amit Gurung, Masaki Waga, Kohei Suenaga:
Learning nonlinear hybrid automata from input-output time-series data.
CoRR abs/2301.03915 (2023)
[7] Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan
Klikovits, Toru Takisaka, Ichiro Hasuo:
Dynamic Shielding for Reinforcement Learning in Black-Box
Environments. ATVA 2022: 25-41
[8] Atsushi Kikuchi, Kotaro Uchida, Masaki Waga, Kohei Suenaga:
BOREx: Bayesian-Optimization-Based Refinement of Saliency Map for
Image- and Video-Classification Models. CoRR abs/2210.17130 (2022)

--
Kohei Suenaga (末永幸平), Ph.D
Associate professor (准教授)
Graduate School of Informatics, Kyoto University
(京都大学情報学研究科)
ksuenaga AT gmail.com
http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/


  • [Coq-Club] Postdoc position at Kyoto University, Japan, Kohei SUENAGA, 02/28/2023

Archive powered by MHonArc 2.6.19+.

Top of Page