[TYPES/announce] Postdoctoral fellowship on SAT modulo ODE

[Alexandre Chapoutot]

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: alexandre.chapoutot at ensta-paristech.fr <mailto:alexandre.chapoutot at ensta-paristech.fr>
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>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20181121/1f4f202e/attachment.html>