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 the AMT Tool, described here. The new monitoring tool will be integrated into SpaceEx, the state-of-the-art platform for verification of continuous and hybrid systems.
- Basic understanding of formal methods (and their limitations).
- Basic understanding of dynamical systems and their numerical simulation.
- Fluency in programming (Java,C++,Matlab).
The salary depends on the level of the candidate. The position is for 12 months but there are good prospects for prolongation depending on the candidate quality.
Send CV and motivation letter to Oded.Maler imag.fr