[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
We look for a candidate for a 1-year postdoctoral fellowship on SAT modulo ODE
starting as soon as possible.
The main goal to this position is to develop a new SMT solver dealing with
QF_NRA logic fragment supplemented with differential equation terms.
This work takes place in a scientific collaboration between ENSTA ParisTech and
Université Paris-Sud.
A more complete description of the tasks is given in the document enclosed to
this message.
Application details are also given in this document.
Closing date for application: 21 December 2018
The position could be extended for a second year depending on the results and
motivation.
Best regards
Alexandre
---------
Alexandre Chapoutot -- Assistant professor
Address:
ENSTA ParisTech
Unité d’Informatique et d'Ingénierie des Systèmes
828 boulevard des maréchaux 91762 Palaiseau
Phone: +33 1 81 87 20 71
Mail: [email protected]
<mailto:[email protected]>
Web: http://www.ensta.fr/~chapoutot/index.html
<http://www.ensta.fr/~chapoutot/index.html>
Site Web du GT Shy: http://labex-digicosme.fr/GT+SHY
<http://labex-digicosme.fr/GT+SHY>
