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 <>

Postdoc & PhD positions available:

Laboratory for Temporal Logic,
         directed by Kristin Yvonne Rozier

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: Jul 15 2022 at 23:21 UTC