---------------------------------------------------------------------------
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 kyroz...@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).
--
____________________________________________________________
__
/\ \ \_____
/ \ ###[==_____>
/ \ /_/ __
/ __ \ \ \_____
| ( ) | ###[==_____>
/| /\/\ |\ /_/
/ | | | | \
/ |=|==|=| \ Kristin Yvonne Rozier, Ph.D.
/ | | | | \ Assistant Professor
/ USA | ~||~ |NASA \ Iowa State University
|______| ~~ |______| Departments of Aerospace Engineering
(__||__) and Computer Science
/_\ /_\
!!! !!! http://temporallogic.org/kyr
_______________________________________________
uai mailing list
uai@ENGR.ORST.EDU
https://secure.engr.oregonstate.edu/mailman/listinfo/uai
