[TYPES/announce] Funded PhD Positions in Runtime Verification and Model Checking at Iowa State University

[Kristin Yvonne Rozier]

---------------------------------------------------------------------------
    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 at 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