****************************************************
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 (kyroz...@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 kyroz...@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
_______________________________________________
Om-announce mailing list
Om-announce@openmath.org
http://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce
