[isabelle] PostDoc position at Uppsala University



(our apologies if you receive multiple copies of this message)

New position available:

Researcher in Computer Science on interactive proof systems for parallel programs at the department of Information Technology with starting date as soon as possible. The position can be held for a maximum of 2 years.

Project: Our goal is to build a framework to accommodate a spectrum of models for parallel programs, parameterized on data types, logics, type system etc. Within this framework we will establish general proof methods and results related to verification methods. We shall implement the framework in an interactive theorem prover, currently Isabelle.

Environment: The department is described at http://www.it.uu.se. We run several connected large projects, e g http://www.upmarc.se.

Qualifications required: PhD in Computer Science and documented experience in development of theories of programming. Documented experience in the use of an interactive theorem prover.

Other qualifications: Experience of theory development for parallel or distributed programs. Experience of Isabelle.

For further information about the position, please contact Professor Joachim Parrow, e-mail: Joachim.Parrow at it.uu.se.

You are welcome to submit your application, including CV and completed list of publications no later than 3 May 2010. Information on how to apply can be found at http://www.personalavd.uu.se/ledigaplatser/634forsk_eng.html




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