[isabelle] Fwd: Isabelle/HOL postdoc positions

-------- Original-Nachricht --------
Betreff:  Isabelle/HOL postdoc positions
Datum: 	Thu, 1 Dec 2011 10:18:27 -0500
Von: 	Binoy Ravindran <binoy at vt.edu>
An: 	Tobias Nipkow <nipkow at in.tum.de>

Postdoctoral positions are available in the Real-Time Systems Group
(real-time.ece.vt.edu <http://real-time.ece.vt.edu>) at Virginia Tech
(www.vt.edu <http://www.vt.edu>) on a project involving formally
verifying experimental software systems. The project's goals include
verifying components of Linux kernels, JVMs, and transactional memory
concurrency libraries, which are being developed by the group and
transitioned into production contexts of sponsors. Recent computer
science/engineering PhD graduates with formal methods background (e.g.,
Isabelle/HOL) are sought. Interested applicants are requested to contact
Prof. Binoy Ravindran (binoy at vt.edu <mailto:binoy at vt.edu>) with a
curriculum vita.

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