[ The Types Forum (announcements only),
The FOST ANR projet seeks candidates for a postdoctoral positionfor 6
months at the INRIA Saclay - Île-de-France in Orsay, to begin as soon as
The FOST projet aims at formally proving numerical analysis programs. In
particular, we have formally proved the correctness of a numerical scheme
that solves the 1D acoustic wave equation using the Coq proof assistant.
This postdoctoral work will generalize the proof to higher dimensions.
Extensive experience with Coq or similar provers is desirable.
See http://fost.saclay.inria.fr and http://hal.inria.fr/inria-00450789/en/
(published at ITP'10) for more details.
Sylvie Boldo, projet ProVal, INRIA Saclay - Île-de-France
Parc Orsay Université - 4 rue Jacques Monod - 91893 ORSAY Cedex