Postdoc position in Formal Verification

[Cesare Tinelli]

Project supervisor:

Professor Cesare Tinelli
Computational Logic Center
Department of Computer Science
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 August 20, 2009 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 at cs.uiowa.edu