Â Candidate 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.
This position is 1-2 years with the possibility for extension.
Required Minimum Qualifications:
PhD in computer science, computer engineering, mathematics, or equivalent.
Proposed Start Date:
January 25, 2021
Proposed End Date or Length of Term:
January 25, 2022
Number of Months Employed Per Year:
12 Month Work Period
To apply for this position, please click on âApplyâ and complete the Employment Application. Please be prepared to enter or attach the following:
1) Resume/Curriculum Vitae
2) Letter of Application/Cover Letter
3) Contact Information for Three References
The candidate selected for hire may be requested to provide documentation to verify highest degree completed. Â
If you have questions regarding this application process, please email firstname.lastname@example.org or call 515-294-4800 or Toll Free: 1-877-477-7485.
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).
Iowa State University is an equal opportunity employer committed to excellence through diversity and strongly encourages applications from all qualified applicants, including women, underrepresented minorities, and veterans. ISU is responsive to the needs of dual career couples, is dedicated to work-life balance through an array of policies, and is an NSF ADVANCE institution.
Iowa State University is an Equal Opportunity/Affirmative Action employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, national origin, disability, or protected Veteran status and will not be discriminated against.