Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] 3 year postdoc position in computational logic

view this post on Zulip Email Gateway (May 25 2022 at 12:31):

From: Aart Middeldorp <aart.middeldorp@uibk.ac.at>
Postdoctoral position in Computational Logic
University of Innsbruck, Austria

Applications are invited for a 3-year postdoc position in
computational logic in connection with the FWF-JSPS joint
project "ARI: Automation of Rewriting Infrastructure".

Deadline: 15 June 2022
Details: https://ari-informatik.uibk.ac.at/position.php

Last updated: Jan 04 2025 at 20:18 UTC