Skip to Content.
Sympa Menu

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

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Postdoc & senior researcher position 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 position in Tokyo
  • Date: Thu, 15 May 2025 17:59:05 +0900
  • Authentication-results: mail2-smtp-roc.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-f49.google.com
  • Ironport-data: A9a23:BbycGqKScVb4bgLoFE+RPpElxSXFcZb7ZxGr2PjKsXjdYENShWZUy 2EfX2uEafyLM2ujftl1bY++pEwE6MDTy9FlHgId+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgb4s9JIGjhMsf/b9Uoy5K2aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0LuQiTr5fhiKGANHpQd+Ml2IF5c8 PsdN2VYBvyDr7reLLOTT+BtgoE8NpCuMt9O/H5nyj7dALAtRpWrr6fiv4cJmmdtwJoURLCCN qL1ahI3BPjESx1GIUoQIJQ/naGhjT/9a1W0rXrP//BusjWMklUZPL7FIPzZU4O7Y5tvsWW7h lyWoDzYWhcVK4nKodaC2inx37eQzH2TtJgpPLa/77thhECZ7ncCDQUfE1q9u/iwzECkM++zM GQR8ysq6LcorQmlEoi7UBq/r3qJ+BUbXrK8DtHW9im8la3y7gq9J1MnVztDR90Hi90zQjk1g wrhc8zSORRjt7icSHS4/7iSrC+vNSV9EYPkTX9UJefiy4mzyLzfni7yosBf/LlZZ+AZ9Bn1y jGO6Tck3vAd0Z9N2KK88lTKxTmro/AlrzLZBC2HAwpJDSsgO+ZJgrBED3CFtJ6sy67HFzG8U IAswZT20Qz3JcjleNaxaOsMBqq1wP2OLSfRh1Vid7F4qGjyoSL8IN0IvG8hTKuMDiriUW+5C KM0kVMBjKK/wFPwMsebnqroW51zkvG6TbwJqNiPP4EVOsMZmPC7ENFGPhPJhz+8ziDAYIkwP pCUdcvkDHART8xaIMmeFo8gPUsQ7nlmnwv7HMilpzz+iOb2TCDPFd8tbgDVBshnt/Psnekg2 4wDXyd8408CCLWmCsQWmKZPRW03wY8TX8is8pQNLbTdeWKL2ggJUpfs/F/oQKQ994w9qwsC1 ijgBye0EXKu2i2VGhbAcX15drLkULB2qH9xb2RmPk+l1zJnKcyj5bsWPcl/N7Q21v1R/dgtR dk8euKEHqtuTBbD8G8jdpXTltFpWymqogOsBBCbRgYDUaRufTGUxe+8TDDTrHEPKgGVqfoBp 6aR01KHYJgbGCVnIsXkSNOu6FKToHEim/9DYG7VK996eWHH0otjGwruhNAZfuAOLhTiwGOB9 gC0WB03m8jEk7UXwvLo25+Wjt6OPbNlP0x4G2L70+6HBRPC9DD+/b4aAfe6Qz/NcUjVpoOgX Lxx5NPhOqQlmF1qjdJNI4xzx/hj2+q19q5o9SU6LnDldF/xN6hBJEOB1sxxtqFg4L9VlA+1e 0CX8OlhJrS7F5L5IWEVOTYaQLyP5dMMlhnWyMYFEkHwySt03biACGF5HR2Hjg5DJ7pUbqIh5 8ocu/At1g/usSpyb+66jR1V+V+ccV0GcaEs7a8BDKHR1wEE91BlYL7nMBHQ3q2hUdt3H3cPH i61n4vH3rRV+VrDeSE8FF/Lxutsuq4NsxFrkn4HflSApcXZiqQWzDluwGwQdVlTxE8W1ehcB 3VabRxpBKSR/gVHgNpIcHCsFjpgWjyY2B3V4HkYmFLJS3KHUjT2E1Q8HuKW7mU1wnl6fDNL2 J25kUHLCS3LeuP11QsMAX9VkeTpF4FNx1eTifKZENSgNLhkRzjc24uFR3cC8jnjCuMP3Hz3n /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+VV8tyLIaJAb8k6T05pnkqK33sy+aoL dxY8Xr1VvR0LleFWs5LjsFXQ88+rh8Z+p7M0Ub8kor7CFAcGd3mEVR/SRFVW3Wv/97lzS32y KtceYyAaEe6SAj4GoBiYxa53f3fUCzHl10VUMtE/DoTV0h3AgGNJD0T9twfCoE+Ufk=
  • Ironport-hdrordr: A9a23:0m0i46x97uqWi1eNhtKVKrPw5L1zdoMgy1knxilNoH1uA7Slfq WV9sjzuiWE7Qr5NEtQ++xoW5PwIk80l6QFhrX5VI3KNGLbUQCTXedfBOXZskTdMhy72ehHy6 96fqRyTPH2B0NrlNv37WCDf+oI8Z2o9OSGie/C02xgV2hRGsVdxjY8JALePEMefmd77FkCe6 Z0JPArm9NtQxUqhw2AZkU4Yw==
  • Ironport-phdr: A9a23:UK16FBCphvGotl10f0AYUyQUGEoY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua43ygeRFt6Duq4Yw8Pt8IneGkU4oqy9+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiTSjbb9oM Bm6sQrdu8cKjYZmJas8xQbCr2dVdehR2W5nKlWfkgrm6Mu34JBt7Tlbteg7985HX6X6fqA4Q qJdAT87LW0759DluAfaQweX6XQSTmsZkhxTAwjY9x76RYv+sjH7tuVmxiaXO9D9QK0uVjSj6 6drTwLoiDsCOjUk/mzbltB8gaRGqx+nuhdxwZPbYJuNOfVxfq3Tc9AUS3dfUMlNTCFOGJ+wY pEVAuYdIepVrY/wrEYOoxukAgmsAfvixDxUiX/23K06yeMhGhzE0gM6BNIOrXPUp8jyOacSS ++117TIzTLYYvNQ2Df96ZLEfQo9rv2WX7JwadPcxE8yHAzKklues5bqPy+J1usTqWib6fJtW fyghWI6pQx8rSWjy8MshITXmI4Y1FPJ+DhlzYs2ONC2SE52bMKlHZVQqy2WKZZ6T90jTmxmt is3y6AKtIClcCUM1Z8pyRnfa/mdfIiJ5BLuTOmRIS1/hHJ4YLKznhOy8U2lyuHmUcm0yllKo jJDktnNt3ABzQbc5dSdRvt/5kes3yuE2QPL6uxcP0w4ia7WJ4Qiz7MwjJYfr1rPEjLslEj5i KKbcFgv9/as6+T6ebXmuoGTN5VphAH/M6UhhNSyDfg+PwMTRWaU4/6826fm/UDhQLVFkPk2k q7BvZDfP8sbp6q5DxZb04Y59hqzFjmm3dsckHUdI1JFfxWHj4ftO17QOvz3EfC/g1G0nDdqw fDJIKHhD43TInTflLrtZ7Vw5k5GxAYt09xT+ohYB74FLf7rX0/+rt3YDhs3MwyuxObnDc1w1 oMEVmKUH6+ZN7jfsVmJ5uIuOeWDfpMatCz/K/g9//Lui2Q2lkcHfaa1xZsXdGy4HvN+LkmEe XbsmMsOEX8WvgoiS+znkEGNUTlKZ3qrQ6084iw7B5m9AIfYRoGthaSB0z2hEp1XYGBGEFGMH m3ye4WKQfdfIB6Vd9NwijEfELGnTYg80xqjnAv70KZ8aPHZ8zZeqIru0t4z6uHO0Vk5/CB5A MOH0myWZ2RolyUDTnt+xL5kiUdmzhGYy6k+iPtdUZRT/PhCegM7LoLHie1+D9H0XQPaONqFV RLuSdK/RDo1U9gZwtkUYk87Fc/mxhLYxDG2RqcNk5SFA4dy8b/dxD7yNsFhzDPbkqAqyVs+B oNLMmKnjet68yDdAJWPkFiYjOCpZKMA22vQsm6Ii2iW+AlDVwh3TajDWlgQYUzZqdn2/ETfV 6ToArMiYSVbzsvXC6BKa8fuxXVPX+rkcIDeanmsnE+2BBfOz7jKbpK8KDZV5znUFEVRy1Nbx n2BLwVrXk9JwkrbBT1qTxf0Zl/0tPN5ozW9R1M1yAeDawtg0aC081gbn6/UUOsdi5QDvipps DBoBBClxduDC9Obug1JeqRdJ9o2plVfhirCrwIoBpW7NOh5g0IGNQF+vkfgzRJyX4VJitUth HUrzUx7IuSayAAJbCuWiLb3PLCfMWzu5FavZqrRj0nZy8qT87wT5e4QrlziuES2DBNn/Sk2l dZS1HSY69PBCw96vYvZdEEx+lA6orjbZnN4/IbIzTh2NqLytDbe2tUvDe9jyxC6ft4ZPrnWX An1W9YXAcSjMolI0xCgcw4EMeZO9aU1I9Ludv2I37SuNfphmzTuhHpO4YR02EaBvyRmTeuA0 5EAyvCelgyJMlW0xFeoqd3wsYZFZHcbFSy90WmsBYJcYLFzYZdeEX2ncIW8wtRzgYKoWmYNr gbyQQNbnpXzIFzOPg+Yv0UYz0kcrH25lDHtyjV1l2tsta+DxGnUxO+kchMbO2lNTW0kjFH2I IHygcpJOSrgJwUvihah4l73gqZBo6EqZWnaWlpPVy73LidrWe2yrvDRK94K854uvShNBa68a EuHTZb7ohpc2iilHXMUl1VZP3m6/57+mRJ9kmeUKn1++WHYdc9HzhDa/NXARPRV01LqXQFAg CLMThi5Ntitp5CPkovb9/q5XCSnX4FSdi/iycWBsjG67CtkG0/3k/e2k9zhWQ80tE2zn9ljT jjPhBD9Y8/i3OK4Kaprc1JpC1n198dhUtsmw81g2ddKgyFc2sTd9GFPiWrpNNRHxa/yJGEAQ zIG2Z+wgkCt2UFuKG6I25OsU3ycxsV7YNzpKmgS2y8784VLEPLOtO0CzXYz+ADh616AMp0f1 n8HxPAj6WAXmbQMsQsplGCGB6wKWFNfNmrqngiJ6Na3qONWYnyueP6+zhkb/5jpAbecrwVbQ Hu8dI0lGHo67sxkLVXk1nzyrIjvPtvIJ4FbpliPnhHMgvIAYpI4jecNrSxmOCT0tjsn06Ro6 H4mlYH/t4+BJWJ3+au/CRMNLTz5afQY/TT1hLpflMKbjMi/W49sETIRUN70XOqlRXgM4O//O V/EQ1he4j+LXKDSFgiF5AJ6omLTRtq1YmqPKiBRzM0+FkLAYhUO2EZOAGp8xtljSkir3JCzL hs/vGtKoAem8l0Ujbs5Unu3GmbH+FX2NHFtEMLZdFwOqVsar0bNbZ7AsKQpQ3AersXn9EvXc iSaf1gaUjtPAxDCXgG5eOHpvImlkaDQB/LifaSSJ+zU9KoGEa/PnMzn05M6rW/UZoPWYSYkX 7tjnRAaFXFhR5aAxG5JEn1L0XqLN4nC+nLesmV2tpztqqy6HlKyo9LVW/0KdowwsxGu3fXZb rDW2XY/cGcCkMtLnC6AyaBDjgRL1Wc0LGjrSu5G7WmUHcey0udBBhofIUufLeNu6KQxlklIM M/f0Jbu06Jgy+QyABFDXEDgncegYYoLJXu8PRXJHhTDMrPOPjDNz8ztBMH0AbRNkOVZsQGxs jeHAgfiODqEjTzgSxGoN6lFkiiaOBVUvIz1fAxqDCDvS9fvaxvzN9ES73V+2bovmnbDLnIRK xB5ekJJ66KKtGZW3qQ5FGtG4X5oa+KDnmfR7uXVLIoXreo+AilwkLE/gjxywL9U4SdYAf1tz XGK/5g+/hf8yLDJlms0NXgG4ixGj4+Ko0h4bKDQ950aHG3B4ApI92KbTRIDu9piDNTr/aFW0 NnG0qzpe1Igu5rZ+9URA8/MJYeJKn0kZFDpESXJCyMDTD/tPGqZhVQXw5TwvjWF64M3rJThg s9EUrhASFk8De8XEGxgFd0GZYhtB3Yqze/dg8kP6n6z6hLWQY8J2/KPHuLXCvLpJjGDiLBCb BZd2rL0I7MYMYjj0lBjYF139GwlM0zRXJZEqWtjdl1tyK2s2H13T2l2xFi8Lw3xsTkcEvm7m hNwgQx7M7xFHNLE5VY2YFPB4ikowhFZpA==
  • Ironport-sdr: 6825ace5_1dixlfb4rA6yKRDdfsDLVYbvKLtpV2cCoWCQxcLA4U9wml+ T5I6+aOXZ3kQeFIirzzHM5rkWmfu1dSjCupwGiw==

[Please distribute, apologies for multiple postings.]

Postdoc & senior researcher positions in Tokyo

Hasuo Laboratory at the National Institute of Informatics, Tokyo, Japan invites applications for a postdoc or a senior researcher. The candidate will pursue collaboration with Bart Jacobs (Nijmegen), Joost-Pieter Katoen (Aachen), and Sam Staton (Oxford). The positions are for ~4 years max.

Relevant backgrounds include (but are not restricted to) formal methods, mathematical semantics, category theory, software science, programming languages, mathematical logic, control theory, machine learning, and optimization. Familiarity with formal logic is mandatory.

Please consult 
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 position in Tokyo, Ichiro Hasuo, 05/15/2025

Archive powered by MHonArc 2.6.19+.

Top of Page