Funded PhD Positions in Runtime Verification and Model Checking at Iowa State University
Funded PhD Assistantships - Laboratory for Temporal Logic in Aerospace
Iowa State University of Science and Technology, Ames, Iowa, USA
http://laboratory.temporallogic.org/home-page/phd_2017/
The Iowa State University of Science and Technology offers multiple fully-funded
PhD positions, commencing in either May or August, 2017, and associated
with the Laboratory for Temporal Logic (Departments of Aerospace Engineering and
Computer Science):
http://laboratory.temporallogic.org
The positions are available to both US and international students, and we are
looking for outstanding candidates with either a bachelor's or masters's degree
in Computer Science, Aerospace Engineering, or another related discipline to
Mathematical Logic, together with the desire to undertake PhD study on the formal
verification of air and space systems.
For further details, see http://laboratory.temporallogic.org/home-page/phd_2017/
HOW TO APPLY:
Instructions on how to apply, and the online form to use, can be found at
https://www.admissions.iastate.edu/apply/online/
**DEADLINE FOR APPLICATIONS IS 15th January 2017.**
Please email kyrozier@iastate.edu upon submission of an application and state
which PhD position your are applying for.
ABOUT THE PROGRAM:
The Aerospace Engineering program at Iowa State University is ranked 23rd overall, and 16th among all public universities; the computer science program is known for the first digital computer (Atanasoff-Berry). The Laboratory for Temporal Logic is housed in a state-of-the-art facility in Howe Hall with indoor and outdoor testing space for embedded platforms such as rovers and small aircraft, along with advanced computing equipment including 3D printing facilities. Research projects in the Laboratory integrate theoretical advancements in formal verification with integration and (flight-)testing on real-life platforms.
Ames, Iowa is a progressive community of 60,000 located approximately 30 minutes north of Des Moines, a city of 1 million. Ames was voted the best college town in the US (www.visitames.com).