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: Sat, 11 Jan 2025 12:55:53 +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-wr1-f45.google.com
  • Ironport-data: A9a23:xouhOayPyRtrvt2fWY16t+fawirEfRIJ4+MujC+fZmUNrF6WrkUBn GJKXTiDbv6CNGGmftx1bIm1ph4GupODmtM3HgJtq1hgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjgmQc3l48sfrZ9Us25a2q4Vv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPq3M42V1MoHrE/1eJvD09e+ a05OBQCO0Xra+KemNpXS8Fpj8UnadbxZcYR5iwmwjbeAvIrB5vERs0m5/cChGZ21p0IR6yHI ZZEAdZsREyojxlnOl4MFZUWmuapwHD0NT9AwL6QjfNvvTCNk10ugNABNvLnWO7WYvtTsX+2n Unp50LaBSMfC+SQnG/tHnWE3bKWxXyqBur+DoaQ/flzxVaX22Y7EwwTTVL9oP+ji0f4Vcg3F qAP0i8nrKx361byC9ehAlu3p3mLuhNaUN1VewEn1O2T4qzL2F7CFHYnchlubMQomt86FB068 lDcyrsFGgdTmLGSTHuc8JKdojWzJTUZIAc+icksHVttDz7L8NFbs/7fcuuPBpJZmTEcJN0d6 zWDrSx7mK9KyMBXiuO0+lfIhz/qrZ/MJuLU2uk1djP+hu+aTNf6D2BN1bQ9xagZRGp+ZgfY1 EXoY+DEsIgz4WilzURhutklErCz/OqiOzbBm1NpFJRJ323yoCD+JtsBvW0keR4B3iM4ldnBM B+7VeR5tM87AZdWRfUvC25MI511nfi+So69PhwqRoEfM8EqLmdrAx2ClWbLgjm1zxly+U3OE ZicdsmoAD4bD68hpAdatM9MuYLHMhsWnDuJLbiil0rP+ePHOBa9F+1ZWHPQNbtRxP3f8G3oH yN3bZfiJ+N3CrCmOnG/HE96BQxiEEXX8ris8ZUKKr7TfFs5cIzjYteIqY4cl0Vet/w9vo/1E ruVAye0EXKu2i2VGhbAcX15drLkULB2qH9xb2RmPk+l1zJnKcyj5bsWPcl/N7Q21v1R/dgtR dk8euKEHqtuTBbD8G8jdpXTltFpWymqogOsBBCbRgYDUaRufCH33+P1XxDO8XAOBxWntMFlr LyH0BjacKU5RA9jLZj3bauvxmyuoXRGufJWYHqQBOIOfk+2oY5gBBHsv6VmP+ANNhTx6T+I3 CmGARojhLfsoq1k1PLrlKy7v4OSPO8mJXVjHk7f9qSTGRjB2Gio0atscb+vU2jGdWXW/K6CW 71k/8vkOqdaoGcQ4ptOLbl76Ikfuf3tnuZ+5SZ5Fizpa1+LNOtREkOe15MSipwXl65rgiroa Eeh4dIABK6oPvniG1svJAYISOSP+PUXuzvK58QOP0TIy35rzYWDTHltEUGAuA5FIJtxFbEV8 +MrlcoVyg640z4BENKNiAJK/GWtcF0EdYgata8hPYy6sTpzl2l+YqHdBBTmv7CJSdFHaXcxL hGu2aHturV7x2j5SUQVK0Tj5+RnuMkxiEh492Naf1WtsfjZt8AzxyxUoGgWTBwK7xBp0NBTG 2lMNm9oLJqN4gZXodVKWUmtPypjBxSp3FP75HVUtW/eTmiuDnfsKk9kM8mz3UkpyUBuVRkFw 6O5kUHLCS3LeuP11QsMAX9VkeTpF4FNx1eTifKZENSgNLhkRzjc24uFR3cC8jnjCuMP3Hz3n /FgprtMWPeqJBwrgvMJDqeB3u4tUzGCHmtJRM9h8I4vHW3xfDKT2yCEG3uue/FiduD7zkulN /NAfs5/dQyy9CKrnAApAaQhJ7xVnvlwwPEgfrjtB3ANsprBjz5Pna/TyBPDhz4Qc40zqfo+F 4LfTCLdM2qygXAPpXTBgvMZMUWFYP4FRjbG4saLzMszGakuitpcKXMJ7uPsvlG+EhdWwBaPj QaSO47U17NDzKpvravNE4JCJRi9FtDuZdut7Qm1mtVqRvHMOPfoqAk6hATGPQNXHL1JQPVxt +2Hn+DW1XP/noQdcj7mibjYMIcR/uS0fu5cEvyvHUlghSHYBfPduUoSyV63OblisY175PD+Y yCadcHpV9oee+kF9U1vcyIETiosUfXmXJzB+xG4ge+HUCUG8Ar9K9iiy3/lQEdbegIMOLz8E gXEgOmv1P8JsLVzAAI4ON8+D69aOFPDXY4UR+/1vxScDUiqhQqmkZnmnhwC9zrKKyelFODX3 JH7fSX9JS+C4Pzw8NJksoJM50xdSD43hOQrZUsS9uJnkz3wXiZMMe0ZNo5AEZ1O1DD70Jbjf jzWcW8+EmPHUC9ZdQnnqsHWNutF6jfi5v+iTtDow6+VV8tyLIaJAb8k6T05pnkqJ33sy+aoL dxY8Xr1VvR0LleFWs5LjsFXQ88+rh8Z+p7M0Ub8kor7CFAcGd3mEVR/SRFVW3Wv/97lzS32y KtceYyAaEe6SAj4GoBiYxa53f3fUCzHl10VUMtE/DoTV0h3AgGNJD0T9twfCoE+Ufk=
  • Ironport-hdrordr: A9a23:Ts3iOa0+cM3PCypsH3nweAqjBGAkLtp133Aq2lEZdDV8btGYkd vGppgm/DTwgDc7XXkgstWJOcC7MArhHFBOgLX5WI3INjUO11HEEGgP1+TfKnjbak/D38pU1a IlXK56DdvvEUE/sMCS2njdLz9D+qjlzImPnOvY9llVJDsaDZ2Ihj0RYjpzUHcGITWubqBYKH Pz3KR6TnabCBMqUvg=
  • Ironport-phdr: A9a23:gbIb9h3nWt2853wVsmDO2Q0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BeGo6wx3RSXBM3y0LFttan/i+PaZSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pDdfglEniexbLx2I Rm5rAjdq9QdjJd/JKo21hbGrXxEdvhMy29vOVydgQv36N2q/J5k/SRQuvYh+NBFXK7nYak2T qFWASo/PWwt68LlqRfMTQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4 qx2RhLklDsLOjgk+2zRl8d+jr9UoAi5qhNww4DaboKbOudgcKzBZt4VX3ZNU9xLWiBdHo+xb Y0CBPcBM+ZCqIn9okMDoxiiCgmsBePv0DhIjWL006IgyOQhDAbG1xEnEtIOqnvUt8j1NKAJX OCzzanIzC/PYOlK1jvn6ojIagksrPeRVr1/bcTf01MgFx/ZjlqOs4zlOSuY2voCvWSG4edtW v+jhmonpQxvvDSi2MQhh5TVi48W113K9SV0zZo0KNO4VEJ3f8OoHYVRuiyUOYZ7Q94uTn92t Cs817YIt5m7fC0Qx5QmwR7Sc/OHc5KP4hL+TOadODJ4hHdgeL6lgBay60egxvX6Vsm10VZGt DBKncXWunAPzxze7NWMRPhl/kq5xzqDywTe5vtHLE00j6bXNYAtzqMqmpccsUnOGDL9lVvyj K+LbUUk5van6/76bLXnp56TKZd5hh34P68zgMKwG/44PRILX2WD+eSzyrnj/UrhTbVPlPI2k 63ZvInUJMQBu6K1GgFV34kj5hqlADem19MYnXYDLF1bYh6Ik4/pO1TWLPD5C/ewnUisnS91y /zaOrDtGJbAI3jZnLv/Y7px9lRQxQUzwNxH4pJbELABIPb9Wk/rs9zYCwc0MwyuzOb8FdV90 ZgTWWSOAq+YKq/dq0OH6vgtI+mUfIMVvi3yJOA/5/HylX85hUMdfa6x0JcKcHy4BOhpI12FY XrwhdcMCXsFvg0nTODzlFKCVSNTaG2pUqIn5jA7DZqmAp3ZSoCshryBxia7EYdMamBIEFDfW UvvIpmVQ/oXLSuUJMh8lDcJfbygUJM6kwqjvRS81qJqKOyS9yEF8dro3cR46OrJlBwp3TloB oKW2iXFV39vtmgTQ3ktxqE5qkt4jh+DyqNzq/hZDsBIofJNVgY8Mp/HieF2FpS6UQXYO9yNV VyOQ9O8ADh3QMh1i90VeF1hXs26ijjN2DHsAKIUjPqIFZso9efBmXH6YcRljz7C06YghBwjR uNBMnbghbN+7E7QFonVlACE0a+hM6YEmGbW82GE0WeIu2lXVwl/VajKR3cCflCQptP8tW3YS Lr7KL8nMxFGge6LMbZNIonphE5bQ9/lOdWYamn3mX/mVkXA/a+FcIe/IzZV5y7aEkVRy2j7n F6DPAk6XWK6pn7GSSdpDRTpal/t9u93rDW6SFU1xkeEdR4pzKK7rzgSg/HUUPYPxvQcoi50q zxvAVGV2dPXTdOL4Qh5L+1Hed1o2F5czirCshBleJmpLqRsnFkbJgR+pF7p/xN2C8NJmo4ot CBi1xJ8fISf1l4JbDaExdbwN7nQf3H15wyqYrXK10v21d+X/uIQ8q19pQm++g6uEUUm/jNs1 Nw9P2K0wJLMAUJSVJvwVh1y7B1mv/TBZTF74YrI1HpqOK3ysznY2ttvCvF3ghCnN8xSNq+JD mqQW4UTGtSuJeo2mlOocgNMPeZc87QxNt+ncP3O0bCiPeJpljarxWpd54U13kWJ/it6AunGu vRNi/GRxRaAfzH9jRGouYb1gcEMZD0fGHa+1TmxHJRYNeV5eYcGD3vrItXinI0vwc6wHSQCr Rj/WgBjuofhYxeZYl3j0BcF0E0WpSfigi6k13lvlClvqKOD3SvIyuCkdRwdO2cNSnMx6DWka YWykd0eW1ClKgYzkx7wr0bz3LVcjKJ+Li/aSgFKZ2KlZ3EnSaa2ureYNoRP4Yg1tg1RUeX6a FvcSKa38H54m2vzWmBZwj48bTSjvJ70ygd7hGyqJ3F2tHPFeMt0yH8z/fTkTOVKlnoDTSh80 nzMA0SkesKu5ZOSnovCtea3UySgUIdSeG/l19HIuCy+7GxsSRqx+pL70t3uChU9+Sn61p9jX mPKtF7wb5Lq2KKzLe98NhMwVRmstowgQNg4ztZ4jYpYwXUAg5SJ4XcL2Xz+N9lWw+ObDjJFR DIGxcLU/Bmw3URiKnyTwIeqHn6Zw8Zne5y7ejZMgnN7v50MUv3NquAZzk4X6hKioAncYOZwh GIYwPoqszsBhv0R/REq1mObC6wTGk9ROWrtkQ6J5pawtvYyBi7nfL6u2U55hd3kAquFp1QWW H/iZ5AKGy5xqMx0dlDUmi67+sT/dd/cYMhG/B2diArHp+5UKdQ4nbwInWA0XAC19W1gwOk9g xt02Ji8t4XSMGRh8pWyBRtAPyH0bcceqXn9yLxTlcGM08WzD41sT38VCYDwQ6viQ1dw/bz3c hyDGzompjKHFKrDSEWBvVx+oSuHEoj3ZSrKYiBIlZM4GEbbfAsF3EgVRGlowMJ/TFvxgpW/K AEhoWlAgzyw4hpUlrA2aV+mCj2Z/EHwLW1sAJmHcEgIsEcYuxaTYZTYtqUpR2lZ5sHz81bLc zDdPlUSSzlOAxzhZRirP6Hyt4actbHCW6zmaaOJOOvGqPQCBa7QldT2jdQgr3DUcZ/Wdnh6U 69ihREFBCElXZyfw3JWFUl132rMd5LJ/k/tvH0q6JnloLKzH1uwrYqXV+kIaIsppkDw2PbZc bbX3XcxKC4EhMlVmzmSk+lZhwRU02Y3JlzPWfwWvCrJBso8g4dxCBgWI2N2PcpMtOcn2xVVf NXckpXz36J5ifg8DxFEU0bgk4enf55CJWb1L17BCEuRUdbObTTW38H6Z7+9QrxMna1VsRO3o zOSD07kOHyKiTDoUxmlNewEgjucOVRSv4S0cxAlDmaGLpquchqgLNp+liE725Uxj3LOcHEGa H1yLx4LobqX4idVxP54Hi0J73ZoK/WFhzfM7+TcLcVz07MjCSB1muRGpXUinuENvWcUGbovw nKU8oM9xjPu2vOCwTdmThdU/zNChYbQ+F5nJb2c7Z5YH3DN4BMK62yUTRUMvdpsTNP16MUyg pDCkrz+LDBa/pfa58wZUoLUIdmaN1InMBuvETWSDhNPHlvJfSnPwldQlv2f7Cjftp8htp3lg 4YDUJdeXV0xU+wAUwFrQIFEL5BwUTcp17WciYRbgBj25AmUT8JcsJfdU/uUCvi6MzeVg45PY B4QyK/5J4AeXmUa80lra10/g56TXkSMAJZCpSpuagJyq0JIoiAWpoIb3UPkLAqmpn0LR6fcd vsejAp/J+0msjX0sQ9fGw==
  • Ironport-sdr: 6781ebd5_kwkZBZVX80DehHH5sGY6wpxOKruyx+mHxOhJNepZysdyyYR h+GgzB7vuQmofMGU/gS7Bxeec2YS9mbtigmgSFg==

[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 
for scopes, details, and how to apply. (This call has no specified topics, unlike our previous calls such as this and this.)

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, 01/11/2025

Archive powered by MHonArc 2.6.19+.

Top of Page