[isabelle] Postdoc at Uppsala University

Postdoc 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.

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