[isabelle] Postdoctoral Opening at the University of Minnesota



Applications are invited for a one-year postdoctoral position at the
University of Minnesota related to an NSF-funded project entitled
"Reasoning about Specifications of Computations." The position is
available immediately: to guarantee consideration, applications must
be received before September 7, 2012.

The project within which the appointment is to be made concerns the
areas of computational logic and programming languages. To be suitable
for the position, the candidate should be broadly conversant with the
issues in these areas and should have the mathematical and programming
skills necessary for conducting research in them. Moreover, with
suitable mentoring, he/she should be capable of developing an
independent research agenda that encompasses some of the following
topics:

 * the design of logics for specifying computational systems and
   for reasoning about such specifications,

 * the implementation of systems embodying such logics, and

 * the use of the implemented systems in constructing actual
   specifications and reasoning about them.

Facility with proof assistants and logical frameworks such as Coq,
Isabelle and Twelf, an understanding of proof theoretic treatments of
aspects such as induction and co-induction and familiarity with issues
related to proof search in sequent calculi and related logical systems
would be needed for participating in the research at the appropriate
level. A specific focus for the project is the Abella system (see
http://abella.cs.umn.edu), developed originally at the University of
Minnesota and currently also the subject of work within the Parsifal
project at Ecole Polytechnique and INRIA, Saclay. The ideal candidate
would have an interest in further developing the capabilities of this
system and its applications during the appointment period.

To apply for this position, go to the U of M Employment System at
https://employment.umn.edu/ and search postings with req#: 179943. The
online application process will require you to submit a current CV and
a brief research statement that should describe past research and
future plans in a way that addresses appropriateness for the position
advertised. Please also provide names, phone numbers and email
addresses of two or three references as part of this material; these
references may be contacted as part of the application review process.
Note that a prerequisite for employment is a doctoral degree in
Computer Science or closely related field.

Interested individuals are encouraged to contact Gopalan Nadathur at
gopalan at cs.umn.edu for more information towards assessing the
suitability of an application.





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.