Logic List Mailing Archive
Postdoctoral and PhD student positions in temporal logic, Ames IA (U.S.A.), Deadline: open (postdocs), 1 Feb 2021 (PhD students)
****************************************************
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@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@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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam