Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications.
The Tempo team of VERIMAG offers several 4-6 month projects in multi-core computing. The project will involve working with the new multi-core architecture of Kalray having 256 processors. The… (More)
The timed and hybrid systems group at VERIMAG is looking for a post-doc/engineer. Mission: Develop and implement monitoring algorithms for temporal logic defined over continuous signals, inspired by… (More)
The Timed and Hybrid group (Tempo) at VERIMAG, one of the world-wide leading groups in cyber-physical systems, is looking for candidates for a 1-year Post-doc position starting in January 2018. The… (More)
An Open Phd Position at the Tempo group at VERIMAG, Grenoble In the framework of the newly started center of excellence Persval in Grenoble, the Timed and Hybrid group (Tempo) at VERIMAG is looking… (More)
An interdisciplinary workshop focusing on systems biology and the related techniques from formal methods, computer science, engineering and applied mathematics.
An Open Phd Position at the Tempo group at VERIMAG, Grenoble The Timed and Hybrid group (Tempo) at VERIMAG, one of the world-wide leading groups in cyber-physical systems, is looking for candidates… (More)
Le troisieme Congres des milieux documentaires du Quebec se deroule du 30 novembre au 2 decembre 2011 sous le theme «Redefinir l’espace documentaire». Presentation preparee par Danielle B. Rose,… (More)