[smartslider3 slider=2]
2020 Position Ad: Postdoc + PhD
PhD positions available: apply here
Postdoc position available: apply here
The Laboratory for Temporal Logic is proud to collaborate with the 
; we look forward to future lab members from JA!
We are located in the wonderful, cycling-friendly town of Ames, Iowa — Hooray for Ames!. Despite our many collaborations this is not close to NASA Ames; here’s a bit of history about NASA Ames.