Post-doc on formal verification and algorithm discovery for numerical analysis

À propos du poste

About us and our project The Chair of Numerical Modelling and Simulation at EPFL is dedicated to the design and analysis of numerical algorithms for partial differential equations. Our research is oriented towards the development of novel and innovative numerical techniques …

Seul un extrait est disponible ici. Consultez l’annonce de l’employeur pour les tâches, les exigences et la candidature.