Ssreflect Users Discussion List

[Laurence Rideau <>]

Hi,


A postdoctoral position is available within the Marelle Inria Team 
(https://team.inria.fr/marelle/) in Sophia Antipolis (south of France).
The position is funded by the ANR Fastrelax research project 
(http://fastrelax.gforge.inria.fr/) on "Fast and reliable approximation" 
for numerical computation.

We are looking for a candidate who is interested in applying theorem 
proving techniques to effective numerical computation.

One of our interests is to formalise bounds on polynomial approximations 
of functions (Berstein polynomials and Taylor models).

Another interest is to formalize in Coq some results in real and complex
analysis (differential equations, Padé approximants, generalized Fourier 
series or Lyapunov certificates).

Funding starts in 2017  and is available for 12 months.  The  net salary 
is around 2100 euros/month, (health insurance and social coverage are 
included).

The candidate must have a PhD, and a strong knowledge in theorem proving 
and/or mathematics.


Potential candidates can contact Laurent Théry () 
or Laurence Rideau ().