Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Postdoc & senior researcher positions in Tokyo

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Postdoc & senior researcher positions in Tokyo


Chronological Thread 
  • From: Ichiro Hasuo <hasuo AT nii.ac.jp>
  • To: types-announce AT lists.seas.upenn.edu, categories AT mta.ca, pvs AT csl.sri.com, hscc AT lists.illinois.edu, coq-club AT inria.fr, jssst-ppl AT fos.kuis.kyoto-u.ac.jp, logic-ml AT fos.kuis.kyoto-u.ac.jp, sonoteno AT googlegroups.com
  • Subject: [Coq-Club] Postdoc & senior researcher positions in Tokyo
  • Date: Thu, 19 Sep 2024 08:00:00 +0900
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=hasuo AT nii.ac.jp; spf=Pass smtp.mailfrom=hasuo AT nii.ac.jp; spf=None smtp.helo=postmaster AT mail-wm1-f48.google.com
  • Ironport-data: A9a23:wAPKtKryOwa8cvvcVfHBlw92tIdeBmL/YRIvgKrLsJaIsI4StFCzt garIBmPaPiMajSjctx3aI2y8UkP7cOByYBgHAQ6+C9jRS1H8ePIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKiefHoZqTZMEE8JkQhkl/MynrlmiN24BxLlk d7pqqUzAnf8s9JPGjxSsvrrRC9H5qyo5GtJ5wxmPpingXeH/5UrJMJHTU2OByCgKmVkNrbSb /rOyri/4lTY838FYj9yuuuTnuUiG9Y+DCDW4pZkc/DKbitq+kTe5p0G2M80Mi+7vdkmc+dZk 72hvbToIesg0zaldO41C3G0GAkmVUFKFSOuzdFSfqV/wmWfG0YAzcmCA2kkOd0Ay/9HBVpy/ M5bdw9RRDGal+2plefTpulE3qzPLeHuNYIb/25llHTXUaZgTpfETKHHo9Rf2V/chOgURaeYN 5dfMGA/KkiQC/FMEg9/5JYWnO6zm37XdTxZ7lue46gvi4TW5F0vj+e3bICLEjCMbZxEpX3Jp XznxErWAxpADPWw5B6e2G3504cjmgugBdtKS+zmnhJwu3WYwXVWAxkLX3OgsPyhgwi/XcheI goa4EITQbMa8UWqSpziWkT9riLU+BEbXNVUHqsx7wTlJrfoDxixFGxUVg9YWNgdiMYEBmMVi nWohsPmGmk62FGKck61+rCRpDK0HCEaK24eeCMJJTfpBfGz8enfaTqfHr5e/L6JszHjJd3nL 9m3QMUWgrwSiYsU0vz+8wyXxT2roZfNQ0g+4QC/soOZAuFRNdXNi2+AsAezARN8wGCxEALpU J8sxZP20Qz2JcvR/BFhuc1UdF1T296LMSfHnXlkFIQ7+jKm9haLJN8Kvm8jeR01aZteJ1cFh XM/XysBtfe/21P6PMdKj36ZUpVCIVXITIu1Bq6LNIImjmZZLlbepHwyDaJv44wduBNxyPlga MnznTeEAnEdBqBqhDuwTKF17FPY7nFW+I8nfriil07P+ePGOha9EO5ZWHPQNLxRxP3f+239r Y0PX/ZmPj0FD4USlAGModBNRb3LRFBnba3LRzt/LbPYfFY+Qjt6UZc8A9oJIuRYokicrc+Ql lnVZ6OS4AaXaaTveFrWOENwIqjiR4h+pn8dNCkhdwTgkXs6bIrlqO9Ve5IrdPN1vKZu3Nxlf ckjIs+gO/VoTiiY2jI/aZKmkpduWi72ji2zPg2kQgMFQbheeyLz9OTJQC7T5QgVLy/utcIBs 7yqjQzaZpwYRjVdNsXdadPx7lbovXEih/5+BRPYBuZiIGLHrY5gcX33hNAKPvBWeAnixySb5 SmSExw3tenAmK5r0djr1ISvjZalLPt6JWVeR1Lk1LeRMTLI20aS2qpCbbq4Ri/cX2bK56mSX +VZ4PXiOvkhnlwRkY5DP5t07KA5vf3DmqR7y1l6IXD1cFibMLNsDX2Y181ptKcW5Lt4uxOza 32f6OthJrSFF8P0ImE/fDN/QLy46sgVvT3O4dAeAkbwvnZ39YXad3RiBUCHjSgFIYZlNI8g/ /wah/cXzA6CkTsvDMeNi3FF1maLL0FYaZ4diLMhPNbJhDYom3Z4Wr6NLg/t4ZqKVcdADVlyH B+Qm5j5pup9wmjsTiMNMEbjjMRhgaYAghRo9GM5Bk+on4PFj8An3RcK/jUQSB9U/yp90OlyG zZKMhBtLJ7T/wZ52dFIdEG3OgR7HBbC0FfA+1gIs2z4TkeTSW3GKlMmC9uN5Ew092F9fCBR2 bOllFbeTjfhef/u0hsIWUJKr+LpSfpz/FbgnP+LMtukHZ5gRxbYmY6rOHQ1riX4DfMLhEHoo fdg+MByY/bZMQ8Su6gKNJmI548PSRyrJH1wft85xfknRVrjQTCV3SSCD2uTeckXfvzDzhKeO vxUf8lKU0yz6TaKojUlHpUzGr5TnsMyxd88a7judH8nsbyek2JTi6ju1BPC3U0lf9Y/tvwGC NL1VymDGWmul3drizfzjM1bCFGZP/gARiPBhd6QzstYNqgtku9WdWMK7oCVpFSQaQtuwAKVt ljMZojQ1O1T9r5vlIrNTIRGWh29Eo7zZfXV6QuYks9vaOnXOpzkrDIlqVjAPiVXM4AOWt9xq 6+/jd7v0G7Bv5c0S2r8maTdJ5JW5M63YvVbAvj3IFZegyGGfs3muDkHxEyVNr1Ll4l7yvS8Z g7ldva1S8EZa+1dyFJRdSJaNRQXUIbzT6X4oBKCv+a+MQcc3SPHPeGY2yfQN08DTRAxOrr6F gPQkNSt7IoBrI1zWTk1N8s/CJp8eFLeSa8qcuPqjgahD06qv0ijv4Xznh9x+BDJDXi5SPzB2 6znfSSnVhqOu/Dv9up74rxC5khdSD43hOQrZUsS9uJnkz3wXiZMMe0ZNo5AEZ1O1DD70Jbjf jzWcW8+EmPHUC9ZdQnnqsHWNutF6jfi5v+iTtDow6+VV8tyLIaJAb8k6SI5pnkqKn3sy+aoL dxY8Xr1VvR0LleFWs5LjsFXQ88+rh8Z+p7M0Ub8kor7CFAcGd3mEVR/SRFVW3Wv/97lzS32y KtceYyAaEe6SAj4GoBiYxa53f3fUCzHl10VUMtE/DoTV0h3AgGNJD0T9twfCoE+Ufk=
  • Ironport-hdrordr: A9a23:wmPTTagVUpUXfP8OScQw5g4qxXBQXvIji2hC6mlwRA09TyX4rb HJoB1/73XJYVkqKRMdcLy7Scq9qBDnlaKdg7NhWItKNTOO0ACVxepZnO/fKlPbakrD398Y+q F6baBkBdH8SXR8h93r+RS1Hr8brOVvM5rGuQ4d9RpQpM1RBZ2IJj0ZNjqm
  • Ironport-phdr: A9a23:PeuZIBarZfmd9mY+uEDIz3r/LTFf2YqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1wePBNSDoKsaw8Pt8IneGkU4oqy9+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiTShbb9oM Rm7qRndusYLjYZjN6081gbHrnxUdutZwm9lOUidkxHg6Mmu4ZVt6T5Qu/Uv985BVaX1YaE1R qFGATolLm44+tTluQHMQgWT6HQcVH4WkgdTDAje8B76RJbxvTDkued7xSKXINf5TbEwWTSl8 qdrVBrlgzoJOjIl7G3ajNF7gaRGqxyjuhN/2ZbZb46VOvRwfa3TYM0USnZaU8lLSyBMGJmxY 5cTA+cDO+tTsonzp0EJrRu7HQSiB//gyj9Jhn/s2q0xzuYvHhvd3Aw9GNIFrXPZrNXvO6cJT OC1y7LFzTPCb/NXwzvy8pTHfgojofGURL99d9faxkYzGQ3flFqQtZDlMC2P1uQLq2WX8eVuW f+hhmMotg18pjihy9kyhoTXhY8Y10zJ+CZkzYg1JdC1VE92b964HJdOqi2XKYp7T80sTmxpp So31KMKtJimdyYEz5QnwgTQa/2Bc4WQ7RLjTuGRISpghH58fbK/ghOy/VKnyu3mWcm4yFBKr itEktXWrH8Cywbf6sqfSvZ740yv2i6P2hjN5u1YJU04j6nWJp47zrItiJYesl7PEyD1lUjwk aSbaEEk+vWz6+T7fLrmvIKSN451iw7gKqkihsqyCvkiPAcURWiU4+G82aXj/ULnRLVKieU7k qzDv5DbIcQXv6C4AwpI3oo65RayADSr3M4XnXkAK1JFdxaHgJbzN17SJ/D4CO+zg1WqkDh12 /DLJqPtDonJI3TZk7rsfaxx51NCxAcw19xS6JFZBqkEIP3pW0/xsNLYDgU+Mwyx2+vnCM9y1 pgDWWKIGaKZNqLSsV6S6u01P+aAfo0VuC7lJ/gj/PHhlWU5lkMFfam1wZsXb2i1Eul+L0WDf XXsmssBEXsNvgcmUOPqj0SCXSdPaHa2QqIz/So2CJmmDIfGXoCimqaN3Ca9Hp1MZ2BJEEqAE Xnyd9bMZ/BZdDOKL9QkmzoCUqWnQIIJ0RC1qBS80LduNazJ4iAes9Tu2MUxr+baiRw98iZ1A t+11n2ECWp92isQWSQe17t751dnyxGI1q08y/xDHtd74/JSThx8NJrYzup9Csu0Vw7cOp+CT 0/jSdG7CxkwSMgwypkAeQI1Gc65lQyGxzKuK7ESjPqIGZ0vtKHN2GT2Yts7wn2A1rFlx10hT cpEcGiirqB47E7QGo/S1UaIkLqtMLla1SWL9n/HhXGJukZEXQh3earCWn8ba0TMqsnh/QXJS Lr9J64gN15gws6DMKwCStTykFIOEPfqI8nZS2SwmiG5DlCK3uXfP8LRZ2wB0XCFWwA/mAcJ8 CPeXeBfLiKoomaFSSdrCUqqeET0t+93tHK8SEYwiQCMdUxokbSvqVYOnfLJbfQV0/ofvTs57 S1uFQO91snLDPKGpgsnda4aY8tuqExf2zfhvhdmdoelM7gkg1cfdwptuEa71xxsF4Jol8kr6 nohighqeuqDyF0UUTSe0NjrP6HPbGn/+Bf6c6nNxlTXy8qb4I8K4fU87krm5USnShpk/HJg3 N1YlXCb4/0mFSI0VpT8GgYy/hl+/PTBZzUlopjTzTtqOLW1tTnL35QoAvEkw1CuZYUXNqTMD wL0H8AAYqrmYOU3h1ikaA4FN+FO5eY1Oc2hbf6PxK+sOq5pgjuniW1N5I013FiL8mJwTevB3 pBNxP/9vEPPVz7nkVCJtMH234lPIzMKXyK+xSXiGI9Nd/hqZ49YQWyqIsCx2pB/n8u3Ay8ep APlXglWnpP5Kn/wJxTn0AZd1FoauymikCq8lHlvli0x67GYxGrIyvjjcxwOPihKQnNjhBHiO 9vR7ZhSUU62YgwujBbg61z9wv0RpK1kMm77R0ZJOSH9aWN6GPj4pv+ZbshD5Yl9+yVeS/m7S VabS/j0qF0Yy2mwegkWjCB+fDastJLjmhV8g2/IN3d/ok3SfsRozAve7tjRLRJI9gIPXzIwy TzeB1znesKs4c3RjJDb9Oa3S2OmUJRXNyjt14KJ8iWhtyVmBhi2nvb7ndOCc0By0Sbgyt5CU yTJ6h/3JIvzn6i3KuNoeEB0CUS0sZIrXNEj1NJq1NdMiTATnd2N8GACkHvvPNkTwq/4YHcXB Ftpi5bU7AXjxEx/PyeMzoP9WG+ax5gpbN27b2UKnyMlupoSWeHEsfodx3sz/grryGCZKeJwl Toc1/Y0vXsTguVS/REo0j3YGbcKW09RIS3rkR2MqdG4tqReImi1It3SnAJzm86sCLaar0RSQ nH8L90iFDRt6e15MVOK2Xa16JmuK5HAKMkesBGZiUKKj+FONZUZkPsLwyNsf2Dl9y5AqaZzn Vll2pe0u5KCImNm8feiAxJWATbyYtsa5jDniasN1tbTxY2kGY9tXykaRJa9B+z9Cyoc7L60U mTGWC15sHqQHqDTWBOS+Fsz5WyaCIilbjmWPCVLlogkHUjFYhYD30ZMG29m1p8hSlL0mIq7K xw/v25JoAa/80opqKogNgGjADmB4l7wMHFsDsDYdkIe7xketRmLd5bCv6QjR2cAucf55A2Vd j7EPUIRUSdQCxbCXxe6btzMrZHB67TKWbb4dqGTJ+3I8asHCb+J3c79i9M2uW/TaYPfeCElV aRz21IfDykmQIKAymlJE2pP0HuTCqzT7Bakpn8t9pH5oKmtAVi/o9PIUuQaMM0zqUrv3+HeZ 6jJ1Xw/cXEBh9sN3SOakuFBmgRJ2mc1LX/1Vu1R0EyFBLTZnqsdZ/ICQwV0MsYAr6c13w0Wf NXelsuwzblgyPg8F1ZCU1Xl3MCvf80DZW+nZhvBAw6QObKKKCeuoYm/aL6gSbBWkORftgGh8 TedHUj5Oz2flj7vHxmxOOBIhSufMVRQooa4OhpqDGHiSprhZHjZeJdviiYqxLQvmn7QHWsVM Dw5bEYU67PMvWVXhfJwH2EH5X1gbKGFlyuf8+jEO8MWvP9sUUEW36pR5HU3zacQ7TkRHqQk3 nuP6Ic08xf6wrrqqHIvShdFpzdViZjeuExjPf6c7ZxcQTPf+wpL62yMChMMrt8jC9v1uqkWx MKc8cC7YDpE7d/Q+tMRQsbOL8fSenooKgfuMDjVDU0MRnipLSuM4i4V2OHX7XCTopUg/9L0n 4EST7ZASFEvPvYTC0AgA9lbZZkrDnUrlrmUiMNO7n275kq0Jo0SrtXMUfScBu/qITCSgOxfZ hcG9rj/KJwaKozx30EKgrhSmY3LHw/PWIkIrHExKAAzp0pJ/T51SWhhgyoNjyur4X5VHPXyn AZk0mOWjswr9Taq6lxxJEKY/UMN
  • Ironport-sdr: 66eb5be6_oTgtjDQLZypv/UTp2Ev46bCbxtd1zrKaHEtJYjcdCmZqHvI TK2+Cq+dcSTzpb0QyRPNXW/tsarZGwtC8c9FuOA==

[Please distribute, apologies for multiple postings.]

Postdoc & senior researcher positions in Tokyo

Hasuo Laboratory at the National Institute of InformaticsTokyo, Japan invites applications for postdoc and senior researchers. The candidates will pursue collaboration with Bart Jacobs (Nijmegen), Joost-Pieter Katoen (Aachen), and Sam Staton (Oxford). The positions are for 4.5 years max.
Please consult the linked pages for scopes, details, and how to apply.

We are also constantly looking for PhD students. https://group-mmm.org/eratommsd/call-for-students-ja/

We look forward to applications from junior and senior researchers with aspiring minds. Thanks a lot for your consideration!

Best regards, 
Ichiro

======
Ichiro Hasuo
Professor, National Institute of Informatics
i.hasuo AT acm.org     Secretaries: hasuolab-secr AT nii.ac.jp
http://group-mmm.org/~ichiro/


  • [Coq-Club] Postdoc & senior researcher positions in Tokyo, Ichiro Hasuo, 09/19/2024

Archive powered by MHonArc 2.6.19+.

Top of Page