[ The Types Forum (announcements only),
    http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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 kyroz...@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

Reply via email to