Postdoc position: Hybrid Systems Theorem Proving Carnegie Mellon University, Computer Science Department Professor André Platzer is looking for talented researchers with a strong research track record for a project in t - Physical verification - Document - PDFSEARCH.IO

First Page	Meta Content
	Postdoc position: Hybrid Systems Theorem Proving Carnegie Mellon University, Computer Science Department Professor André Platzer is looking for talented researchers with a strong research track record for a project in t Add to Reading List Document Date: 2014-06-14 23:11:52 Open Document File Size: 134,31 KB Share Result on Facebook

UPDATE

Postdoc position: Hybrid Systems Theorem Proving Carnegie Mellon University, Computer Science Department Professor André Platzer is looking for talented researchers with a strong research track record for a project in tAdd to Reading List