coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Ichiro Hasuo <i.hasuo AT acm.org>
- To: announcements AT lists.artist-embedded.org, types-announce AT lists.seas.upenn.edu, categories AT mta.ca, pvs AT csl.sri.com, fmcad AT utlists.utexas.edu, hscc AT lists.illinois.edu, qest-announce AT iti.illinois.edu, coq-club AT inria.fr
- Subject: [Coq-Club] post-doc & programmer positions in Tokyo, Japan
- Date: Fri, 25 Mar 2022 20:15:24 +0900
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=i.hasuo AT acm.org; spf=Pass smtp.mailfrom=i.hasuo AT gmail.com; spf=None smtp.helo=postmaster AT mail-ej1-f50.google.com
- Ironport-data: A9a23:wPoRWK9KyDl22b9n23AADrUDlniTJUtcMsCJ2f8bNWPcYEJGY0x3n WsdXGqEPKmNazD1LtxxaNm+9x4OuZXWn4NgHgc9ri5EQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHvylYAL9EngZqTVMEU/Nsjo+3b9h6mJUqYLhWVnV4 omv+5S31GKNglaYDEpEs8pvlzs05JweiBtA1rDpTa0jUPf2zhH5PbpHTU2DByOQrrp8QoZWc 93+IISRpQs1yfuC5uSNyd4XemVSKlLb0JPnZnB+A8BOiTAazsA+PzpS2Pc0MS9qZzu1c99Z5 N9um4SzS0ATL7DKwrlGdhVnSj9wBPgTkFPHCSDXXc27ykTHdz7hwawrAhxue4If/elzDCdF8 vlwxDIlNEjSwbLrhujiGq8x3qzPL+GzVG8bknAmzTjCEPEOTpXKQqGM7thdtNs1rpoeRK+BN ptFAdZpRBTDXQBtJW4nMYkjk8b5hGimQyIHtV3A8MLb5ECKlFAruFT3C/LefcXPTsFIlG6Dt 2fe9iL4BAsbPZqR01K4HmmEg+bOmWb2WttXGuDgsPFth1KXyyoYDxh+uUaHTeeRpkSddcpcK Qsu6zco9/Vp0UCUF8fzZkjtyJKbhSI0V91VGuw8zQiCzKvI/gqUblToqBYROLTKU+dmFVQXO k+1c8DBXmMw7eXEIZ6J3vLF8mPoYHl9wXoqPHdcFWM4D8/fTJbfZy8jo/5mGa+xy9D3QHT+n mjMoy85iLEey8UM0s1XHGwrYRr8+PAlrSZvvm07u15JCCsnOeZJgKT2tTDmAQ5odtrxc7V4l CFsdzKixO4PF4qRsyeGXf8AGrqkj97cbmGM2AMzR8V8qWn8k5JGQWy2yGEuTKuOGpZUEQIFn GeO0e+szMMLbCrzNfEfj3yZUpx7lfWI+SvZugD8N4ISOPCdhSeI+yZhYUP44oweuBlErE3LA r/CKZzEJS9CV8xPlWPqL89Aj+JD7n1hnQv7GMGjpzz6gOH2TCPEGd8tbgHSBshntvzsiFuOq L53aZDaoyizpcWkPUE7B6ZIfQ5URZX6bLiqw/FqmhmrflU3Qj1wWqWNqV7jEqQ895loei7z1 inVcidlJJDX3BUr8C2GNSJubq3BR5F6oS5pNCAgJwf61H0qYILp56AaLsNlcb4i/e1l7Ph1U /hVI5XaUqoTEmzKq2YHcJ3wjI1+bxD01w+DOiySZjJgLZNtQgr+/MDpI1n0/y4UAyvr7sYz+ uXy1g7STZcZaR5lCcLaNKCmw1+r4ioUk+c0WFHHe4EBdELp+YlsCirwkv5pcpFUdU6dnmOXj l/EDw0ZqO/Bp54O3OPI3a3U/Z20F+ZeH1ZBGzWJ57iBMySHrHGoxpVNUbrVcD3QCDH09aGla bkHxv3wKqdczlNDso45HrQyiKxjv53goLhVygkiF3LONgz5BrRlK3iA/M9OqqwdmeMD6FXuA hqCqotAJLGEGML5C1pNdgArWeKOiKMPkT7I4PVpfUj3uH1t8LycXRkANhWAknYGfr58MYdgz OV4/cBLs0qwjR0lNtvAhSdRrjzeInsFWqQhl5cbHI671VZxmw8aOcTRWn3s/ZWCS9RQKU12c DWas6zP2uZHzU3YfntvSHXA0IKxX3jVVMymEbPDG7iIpjYBrvo+3RkU/DZuCwoIllNI1OV8P mUtPEpwTUlLE/GEm+AbN11A2SkYbPFaxqA141QMnWzdCUKvUwQh6UUjbP2V8hlxH310J1BmE XLx9IoheT/heYf2xCRatYuJbRD8ZYQZyzAuU/xL0yhI81fWrNYlbmKTibI0liba
- Ironport-hdrordr: A9a23:a4ICX6DGqo6NyVXlHem755DYdb4zR+YMi2TDtnoBLSC9Hfb5qy nDppUmPHzP5gr5OktQ+uxoUZPoKRjhHPVOkOss1NmZLWzbUaiTQb2KL7GJ/9QtIUHDHydmup tdTw==
- Ironport-phdr: A9a23:f+3TrBNV6mZ3Kll2zuAl6na6BxdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv68r1QKQFt+Do9t/yMPu+5j6XmIB5ZvT+FsjS7drEyE/tMMNggY7C9SEA0CoZNTjbig9A dgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1oLejpB4Lelcu62/6s95HJfglFhCexbbxsI BmqsA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S 6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5 KlpVRDokj8KODE5/m/ZicJ+kbxVrw66qhNl34LZepuYOOZicq7fe94RWGpPXtxWVyxEGo6yb JcAD+oAPeZCqIn2ulkAogGlBQmxA+Pk1zhFhn7s0a06yeshChzG3As7Et0UrHvUqc/5NKAIU eC61aTFyyjIYPxK1znn8ofIbgwhru+WXbJ2acfc1UciGQzKg1iUqYLoPi6Z2OsTv2WZ8udtV e2ihW4lpgxxpjWhxtogh5fVi44LxV3J6zh0zYI6K9C5S0N1b9qpHZ1NvC+UMIt2R9ktQ2Buu Csixb0Go5m7fDUSyJg+wh7fbvmHf5KP4hL5W+acJypzinF9eL+nmRq+7Uytxvf/W8S0ylpGs DdJn9rWun0NyxDe7NWMROFn8Ue7wzmP0hje6uFaLkAwkqrWM5shzaQxlpoXqEjMAC32lFjvg K+Ydkgo5vKk6+vgYrXhqZ+cM5F7hhviPaQpn8yzGeU4Mg4QUGiH4emwyqHv8EnjTLhJjvA6i LfVvI3ZKMgBpqO1HxdZ0oM55Ba+Czem3s4YnX4CLF9deRKLlYjpNEvVIPDlCveymFuskDJxy PDHOr3tGInCLn/GkLv5e7Zy8FZTyBAvwtBH+5JUFrYBLeruVkPprtzXEgc5MxCow+bgENhyy oQeWXuWDqCFNKPSrESH6/k0I+iMYY8VoCzyJ+Ik5/7ol385mEUScbOn3ZsNOziEGaFvJUOef Hznj9IMF3sRlg4/V/DxzlSYTT9IezO/Wqgx6j02BMShF4iHDpy8mLGamS69GJpLYGtLIlSNC mvzMZ6JUuxKdTqfJMknnzAZEfCqQpMs2ha0tQLh4797J6zf82lQrYz4/NNu46vIjxB0/jtxS 4yT1mqEQ0lpgmcJXCMtmr1jrFx00RGO3bU8y/xDHtd74/JSThx8NJrYzup9Csu0Vw7cOp+QR U26B9ygBzYsSNk8694SYgB8H9GjiBfCxGynD6JR37eMHdk/9r/W93n3Pcd0jXjch4c7iFxzY 8BPNHehzo527BXUT9rI1UWQjLutXa0X2WjK7mjVnjnGh11RTAMlCfaNZnsYfEaD9bwRh2vHR r6qU/E8NxdZjNSFIe1MY8HoilNPQLHiPs7faiS/gTT4Hg6Gk5WLaoeiYGABxGPFEkFRkkYT9 G2bMiA3DSLnpHjRX3R1DVy6W0r36qFlrW+jCEo9zgWEdUpkgrvz+hcOmPu0RPYa37ZCsyAk+ H1vBFjo+dXQBpKbohZ5OqVRZdRo+FBcyWfQrBBwJLSlJqFmw1McKkF54huo2BJwBYFN18Mtq RvG1SJULqSVmBNEfjKch9XrP6HPb3P191apYrLX3VfX1JCX/L0O4bI2sQerugbhDUck/3h9t rsdm3KB+pXHChYTWpPtQw428RZ9vbTTfig64cvdy3RtNaC+tjKK1cguAaMpzROpftEXN63hd ke6EosaDtOzL8QjkF3vaQgLfahT+KMyI8K6Zq6ewqf4dO1knT+gkSFG+NUnihPKp3c6ELeYm ctdkJT6lkOdWjzxjUmsqJXykIFAP3QJG3anjDLjD8hXb7FzeoACDSGvJde2z5Nwnc2IOTYQ+ Vi9ClcBwMLsdwCVagm33EtQ3F8KplSonCK5y3p/lDRj/c/9lGTehv/vchYKIDsBRS9ihEzxJ qC9hNVcW1KnJVthhF6u4kD0wLJeraJ0IjzIQEtGSCPxKnlrTqq6srfqj9dn0Jozqm0XVe29Z QrfUbvhu14A1CilGWJCxTc9fjXsu5PjnhU8hnjPZHp0qXPYf4l3y3K9rJTdA/5YxScBbCZ9g DjTQFO7OpGl8M6VmJHKru2lHzj5B9sDLG+xlNPG6XPz7HYiGRClmvGvhtDrdGpymTT20dVnT 2SArRrxZJXqy7XvNOtmekdyA1qvo8F+G4x4js4xnMRKgSlc1sjTpyNX1zqrYrA5kerkYXEAR CAG2YvQ6Qnhggh4K26Rgpj+XTOby9dgYN+zZiUX3Dg85oZEEvTxjvQMkC1rr16/tQ+Ub+J6m 2JXyL0u4WUHhMkGvQMsymOWBbVYTiw6dWT80g+F6dyztvAdZSCveKOt02JxmNmgCPeJpQQWC z7pP5wlGyF39MB2NlnBhWby5o/Tc97VddsPtxeQnkSl7aAdONcrm/ENnyYiJXPlsChv1bsgl RI3l8LyrM2dJm5q5q78HhNIKmi/eZYI4j+06MQW1seOg9L0Q9M4S21NBse3C6rvSm5atOy7Z VjSVmdn8THCR+KZRUjGuQ9nty6dTc7tbinNYiFflZI4HHz/bARemFxGAmt8xMJoUFDygpSmK h8x5yhNtAGi7EIQjLs5bV+nFT6P7AawNmVrFN7GdkcQtkcaoB6LVK7WpuNrQ3MBps3n9VPSb DzdP0MSVCkIQhDWXg+4eOD/uZ+YtbDfX7T2LuOSM+/W+KoOCrHRn8Lpisw/oFPufo2OJiUwV aRlnBcTGykoQYKB3GxeAy0Py3CXNpDd/kztvHYt6Jj4qaWjTgvr4cHn56J6F9Jp9lj2hK6CM 7TVnyNlMXNC0ZhKw3bUyb8Z1VpUiid0djDrH65S/SjKBLndnKNaFXt5I2t6KddI4qQg3wJMJ d+Ti9X70aR9h+I0DFENXELom8Wgb8gHa2+nM1aPCEGOPbWAbTrFpqO/Kbu7UqFVhf5IugeYv D+aFwruPG3GmWSxER+oNu5IgWeQOxkf8ICxfxBxCHTyGdLrbhroVb0/xTYywLAymjbLLTtGa Wk6Ix4L9OTAq34A0ZAdUyRb43FoLPeJgXOc5ujccNMNtOdzRz5znKRc6Wg7zL1c6GdFQuZ0k W3ctI0LwRnun++Rxz5gSBcLpCxMgdfBvANiML7E8bFPXH/F+FQG6mDaWHFo75N1T8bivaxd0 I2FjKXoNDJL6M7Z5+MZDsnQbc+FaT8vbEKvFznTAw8ICzWsMCuM4i4V2OHX/XqToJ8gr5Hqk 5dbUb5XWms+EfYCA1hkFtgPSH+YdjwhmL+fysUP4CjnxPE0bMxRu9bATP3AWZ0HyR6chLhAI hYKmPb2cNxVOYr81EhvLFJ9mdaSc3c=
- Ironport-sdr: 571kVt6POTgA2E5evEQVZrZ/r8LCQwyaW9d9VWGqfofdNrob44n7/hDqGMPnZFpSOxoRyFKwMt qVeKzflpwSonUwxhfJsgkQf9L+X03llcH9eAtTTmVOrd+mzP56VFjZoM0r2ZD7fDjWewfHoFaY FismhVHmMIRr04Z84WDgCLpLAdw1jHLts9cTKwOE8gL81FLsbaWbhmGv6GQajpf9/TYzLGOmle e8osXTsHZ2oF1ChI+Ddz92sQuZ5ugKCRK5NeGpzCHwr24QtwDep6zTAWTNTKrTqzgCsPwUJdzo WLScdeLw3zGef2RvMXCH9GNh
Dear all,
We have two open positions (post-doc and a scientific programmer) at NII, Tokyo, Japan. The scope is the combination of logic and optimization metaheuristics. They are funded by the ERATO MMSD project (extended till March 2025).
Please find further details at
Thanks a lot for your consideration.
Best, Ichiro
======
Ichiro Hasuo
Associate Professor, National Institute of Informatics
i.hasuo AT acm.org Secretaries: hasuolab-secr AT nii.ac.jp
http://group-mmm.org/~ichiro/
Ichiro Hasuo
Associate Professor, National Institute of Informatics
i.hasuo AT acm.org Secretaries: hasuolab-secr AT nii.ac.jp
http://group-mmm.org/~ichiro/
- [Coq-Club] post-doc & programmer positions in Tokyo, Japan, Ichiro Hasuo, 03/25/2022
Archive powered by MHonArc 2.6.19+.