[TYPES/announce] Positions at Iowa State University: faculty and PhD students

[Kristin Yvonne Rozier]

Iowa State University is hiring tenure-track and tenured faculty in 
Formal Methods/Software Challenges in Aerospace. Note that this is in 
the Aerospace Engineering Department; having a PhD in Computer Science 
satisfies the requirement for a degree in a related discipline. Please 
consider applying here:
Quick Link: http://www.iastatejobs.com/postings/20331
Posting Number:  600141
Guaranteed Consideration Date:  11/01/2016
Working Title:  Assistant, Associate, or Full Professor
Advertised Employing Department:  Aerospace Engineering
Appointment Type:  Faculty - Tenure-Eligible
Proposed Start Date: August 16, 2017

==========

I have multiple funded PhD student positions in my laboratory in the 
following areas:
*  Runtime System Health Management: a NASA-funded project combining 
temporal logic runtime monitors (e.g. LTL, MTL) with Bayesian analysis 
to better specify, monitor, and enable diagnostics and prognostics on 
space systems including small satellites, rovers, and autonomous 
Unmanned Aerial Systems (UAS).
* Symbolic model checking techniques: an NSF-funded project building on 
techniques and tools for symbolic model checking (LTL, nuXmv, ABC, etc.) 
with applications in verification of designs and protocols for air 
traffic control systems, both for commercial airspace and for 
unmanned/autonomous aircraft

*** For further details or to apply for a PhD position, please send a CV 
to me at kyrozier at iastate.edu ***

==========

About Iowa State University and the Ames Community:
Iowa State University is classified as a Carnegie Foundation 
Doctoral/Research University-Extensive, a member of the Association of 
American Universities (AAU), and ranked by U.S. News and World Report as 
one of the top public universities in the nation. Over 36,000 students 
are enrolled, and served by over 6,200 faculty and staff (see 
www.iastate.edu). Ames, Iowa is a progressive community of 60,000, 
located approximately 30 minutes north of Des Moines, and recently voted 
the best college town in the nation (see 
www.visitames.com<http://www.visitames.com>).

Department/Program & College Description:
The Aerospace Engineering Department currently has 39 faculty and is 
housed in a $50 million state-of-the-art teaching and research complex. 
The College of Engineering consists of 8 departments, with 250+ faculty 
members and annual research expenditures exceeding $88 million.

-- 
  ____________________________________________________________
                                     __
            /\                       \ \_____
           /  \                   ###[==_____>
          /    \                     /_/      __
         /  __  \                             \ \_____
         | (  ) |                          ###[==_____>
        /| /\/\ |\                            /_/
       / | |  | | \
      /  |=|==|=|  \       Kristin Yvonne Rozier, Ph.D.
    /    | |  | |    \       Assistant Professor
   / USA | ~||~ |NASA \    Iowa State University
  |______|  ~~  |______|     Departments of Aerospace Engineering
         (__||__)              and Computer Science
         /_\  /_\
         !!!  !!!          http://temporallogic.org/kyr