Open Positions
Postdoc position in Model Checking
Project supervisor
| Professor Cesare Tinelli |
| Computational Logic Center |
| The University of Iowa |
| Iowa City, IA 52242, USA |
Project description
The project's overall objective is to develop and implement improved Model Checking techniques based on Satisfiability Modulo Theories to verify safety properties of synchronous data-flow programs used in embedded reactive software.
The ideal candidate would be one with:
- A PhD in Computer Science or a closely related field
- Strong background in logic and/or automated reasoning
- Knowledge of and experience with SAT/SMT and model checking
- Experience designing, building, and maintaining large software systems
- Excellent programming skills (preferably in ML or similar languages)
- Good English writing and speaking skills
- An established publication record in automated reasoning, verification, or programming languages
Benefits of the position include access to UI health insurance, office space at the UI Computer Science Department and opportunities for collaboration with the other CLC faculty (Aaron Stump and Hantao Zhang) as well as other project partners in academia and industry.
The position is available immediately and will remain open until filled. It is expected to have a duration of up to four years based on performance and continued availability of funds.
Interested candidates should send a cover letter, CV and a list of references to Cesare Tinelli at tinelli @ cs.uiowa.edu
Last updated: Sep 25, 2009.