[smartslider3 slider=2]

OpenUAS Project

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, IowaHooray for Ames!. Despite our many collaborations this is not close to NASA Ames; here’s a bit of history about NASA Ames.