Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Postdoc and PhD Positions @ Iowa State University


view this post on Zulip Email Gateway (Dec 06 2020 at 11:37):

From: Kristin Yvonne Rozier <kyrozier@iastate.edu>


Postdoc & PhD positions available:

Laboratory for Temporal Logic,
         directed by Kristin Yvonne Rozier
http://laboratory.tempoallogic.org

Iowa State University, Ames, Iowa, USA


Multiple fully-funded PhD positions and Postdoc positions are available
in the Lab for Temporal Logic, which spans the Departments of Computer
Science, Electrical and Computer Engineering, Aerospace Engineering,
Mathematics, and the Virtual Reality Application Center. Application
links are below.

About the Lab:


Last updated: Sep 25 2021 at 08:21 UTC