PhD position in model-checking for linear dynamical systems with floating-point rounding. Develop invariants and verification algorithms, replacing standard linear algebra with new tools; publish results and present at conferences. Collaborate with international researchers and potential site vis...