Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] call for Associate Professor candidates in JAIST

Email Gateway (Aug 07 2023 at 10:53):

From: ADRIAN RIESCO RODRIGUEZ <ariesco@fdi.ucm.es>
Dear all,

The Japan Advanced Institute of Science and Technology (JAIST) has an open
call for Associate Professor. Relevant information is available at

https://www.jaist.ac.jp/top/data/cs20230724-1e.pdf

Kind regards,
Adrian

Last updated: Jan 04 2025 at 20:18 UTC