Iowa State University Post Doc Research Associate in Ames, Iowa
Position Title:Post Doc Research Associate
Appointment Type:Post Doc/Trainee
Job Description:Summary of Duties and Responsibilities:
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
Time Type:Full time
Pay Grade:Post Docs
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.
Original Posting Date:August 17, 2020
Posting Close Date:
Job Requisition Number:R3029
Iowa State University (http://www.iastate.edu/) 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. More than 30,000 students are enrolled and are served by over 6,200 faculty and staff.
Iowa State University is a global and culturally diverse university committed to providing an inclusive, equitable, and diverse environment for both learning and employment. We know that diversity in experience and perspective is vital to advancing innovation, critical thinking, solving complex problems, and building an inclusive academic community. At Iowa State, we translate these values into action by seeking individuals who have experience working with diverse students, colleagues, and constituents. The university has an expectation that all employees will demonstrate a contribution to diversity and inclusion as embodied in Iowa State University’s Principles of Community (http://www.diversity.iastate.edu/principles-of-community) .
All offers of employment, oral and written, are contingent upon the university’s verification of credentials and other information required by federal and state law, ISU policies/procedures, and may include the completion of a background check and/or a consumer credit check.
Iowa State University is an Equal Opportunity/Affirmative Action employer. All qualified applicants will receive consideration for employment without regard to race, color, age, religion, sex, sexual orientation, gender identity, genetic information, national origin, marital status, disability, or protected veteran status and will not be discriminated against. Inquiries can be directed to the Office of Equal Opportunity, 3410 Beardshear Hall, 515 Morrill Road, 515 294-7612, email email@example.com.
If you have questions about the application process please email firstname.lastname@example.org or call 515-294-4800 or Toll-Free at 1-877-477-7485. Iowa State University provides reasonable accommodations to applicants and employees with disabilities. Applicants with questions about access or requiring a reasonable accommodation for any part of the application or hiring process should email email@example.com or call (515) 294-4800 or Toll-Free: (877) 477-7485. TTY users are welcome to use the Iowa Relay Service number by dialing 7-1-1 or (800) 735-2942.
General ISU compensation information can be found here:https://www.hr.iastate.edu/careers/compensation