postdoc position



Date view Thread view Subject view Author view

Jozef Hooman (hooman@cs.kun.nl)
Thu, 08 Nov 2001 14:11:11 +0100


Vacancy: postdoc position (3 years) Where: University of Nijmegen The Netherlands Project: EU-project OMEGA Correct Development of Real-Time Embedded Systems in UML Tasks: integrate formal techniques in UML-based development of real-time embedded systems, including compositional system verification and formal refinement using the interactive theorem prover PVS. More info: http://www.cs.kun.nl/~hooman/omega-ad.html


Date view Thread view Subject view Author view