[DL] Postdoc and PhD Positions @ Iowa State University

[Kristin Yvonne Rozier]

****************************************************
           Postdoc & PhD positions available:

            Laboratory for Temporal Logic,
          directed by Kristin Yvonne Rozier
http://laboratory.tempoallogic.org

        Iowa State University, Ames, Iowa, USA
****************************************************


Multiple fully-funded PhD positions and Postdoc positions are available 
in the Lab for Temporal Logic, which spans the Departments of Computer 
Science, Electrical and Computer Engineering, Aerospace Engineering, 
Mathematics, and the Virtual Reality Application Center. Application 
links are below.

About the Lab:
---------------
The Laboratory for Temporal Logic focuses on foundational advances to 
formal methods that carry through to really fly. The lab has developed 
techniques to enable better system specification and model-checking 
algorithms that scale to verify large, complex systems including NASA's 
automated air traffic control system and industrial verification 
problems at IBM. The lab's R2U2 verification engine is the only 
flight-certifiable RV tool capable of embedding in tight spaces 
post-deployment for real-time anomaly detection and mitigation 
triggering. R2U2 has flown on UAS, checked ATC ground stations, launched 
on rockets and small satellites, and embedded into NASA's Robonaut2 
humanoid robot on-board the International Space Station.

See a news article about the lab's recent projects here: 
http://laboratory.temporallogic.org/research/blog/?p=300

See award abstracts for NSF grants funding the research here:
Symbolic Model Checking: 
https://www.nsf.gov/awardsearch/showAward?AWD_ID=2016592&HistoricalAwards=false
Specification and Runtime Verification: 
https://www.nsf.gov/awardsearch/showAward?AWD_ID=2038903&HistoricalAwards=false


Postdoc Summary of Duties and Responsibilities:
-----------------------------------------------
Candidate(s) will conduct world-class research in the area of formal 
methods, including design-time and/or runtime verification. Topics 
include defining new specification logic variants, formal requirements 
elicitation, proving algorithmic complexity and correctness, formal 
modeling, and algorithmic advances contributing to industrial-shaped 
instances of symbolic model checking, proving properties of runtime 
verification, and assuring development and operation of autonomous 
systems. Candidate is expected to contribute his/her own research ideas 
and collaborate with the laboratory to conduct independent research. 
Teaching and/or research-in-education opportunities are available if the 
candidate desires, but not required.


Program & College Description:
-------------------------------
The postdoc(s) and PhD students will have offices in Howe Hall, a $50 
million state-of-the-art teaching and research complex including a 
Virtual Reality Application Center (vrac.iastate.edu). The College of 
Engineering consists of 8 departments, with 250+ faculty members and 
annual research expenditures exceeding $88 million. ISU hosts a booming 
formal methods community, including many large research groups and 
prominent researchers working in various areas of formal verification 
across three departments: computer science, aerospace engineering, and 
electrical and computer engineering.


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>). Ames, Iowa has a legendary 
standing as a great place to live, regularly topping lists for e.g., 
opportunities for work-life balance, green living, and great 
infrastructure for cycling.


Postdoc Application Instructions:
--------------------------
To apply for this position, please:
* send an email to Dr. Kristin Yvonne Rozier (kyrozier at iastate.edu) and 
attaching a detailed CV with references
* fill in the application: 
https://isu.wd1.myworkdayjobs.com/IowaStateJobs/job/Ames-IA/Post-Doc-Research-Associate_R3029-1

The start date is flexible, but we aim to fill the positions as soon as 
possible.

Applicants must have a PhD in Computer Science or a related subject at 
the time they start the position, be fluent in English, have good 
abilities to work in an international setting. The position is initially 
offered for one or two years, with opportunities for extensions. Salary 
and benefits at ISU are competitive and commiserate with experience. 
There are flexible options for remote work due to the COVID-19 pandemic.

If desired, there are several opportunities for growing the teaching 
section of the postdoc's CV; please specify if you want to explore this 
option. Possible courses for teaching experiences include a junior-level 
undergraduate C programming course on robust software engineering 
practices, numerical algorithms, and good code documentation in LaTeX; 
or an advanced course in Applied Formal Methods. ISU Center for 
Excellence in Teaching and Learning offers many opportunities for 
postdocs to learn state-of-the-art teaching best-practices. The ISU 
Center for Communication Excellence offers individualized training in 
written and oral communication skills to improve the quality of papers, 
proposals, and oral presentations. This is an excellent opportunity to 
enhance a CV for future academic positions.



PhD Application Instructions:
-----------------------------------------------------
(1) Apply to the department of choice, where you would like the PhD to 
be granted:
Computer Science (Deadline Feb 1): 
https://www.grad-college.iastate.edu/academics/programs/apresults.php?id=32
Computer Engineering (Deadline Feb 2): 
https://www.ece.iastate.edu/admissions/graduate-admissions/
Aerospace Engineering (Deadline Jan 15): 
https://www.grad-college.iastate.edu/academics/programs/apresults.php?id=2
Mathematics (Deadline Feb 1): 
https://math.iastate.edu/academics/graduate/math-and-applied-math-graduate-program/gradapply/

(2) Send an email to kyrozier at iastate.edu letting me know which 
department you applied to.

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