Postdoctoral and PhD student positions in temporal logic, Ames IA (U.S.A.), Deadline: open (postdocs), 1 Feb 2021 (PhD students)

Multiple fully-funded PhD positions and Postdoc positions are available at Iowa State University 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.

The Laboratory for Temporal Logic focuses on foundational advances to formal methods that carry through to really fly. The lab has developed techniques to enable better system specification and model-checking algorithms that scale to verify large, complex systems including NASA's automated air traffic control system and industrial verification problems at IBM.  Candidate(s) will conduct world-class research in the area of formal methods, including design-time and/or runtime verification. The position is initially offered for one or two years, with opportunities for extensions. Teaching and/or research-in-education opportunities are available if the candidate desires, but not required.