[TYPES/announce] Postdoctoral position in SMT solver modulo NRA/ODE

[Alexandre Chapoutot]

Dear all,

A one-year Postdoctoral Fellow position (which may be extended for an other year) is available at ENSTA ParisTech, Palaiseau France.
It takes place in the field of satisfiability modulo theory (SMT), in particular, for theory of non-linear real arithmetic (NRA) and ordinary differential equations (ODE). A more 

The position is available immediately.

A more detailed description of the position, and how to apply, is given at
http://perso.ensta-paristech.fr/~chapoutot/ssh-website/docs/sat-modulo-ode.pdf

Required Qualifications:
     - A recent doctoral degree (Ph.D.) in Computer Science or a closely related area
     - Outstanding research record
     - Excellent organization and communication skills
     - Fluency in English is a prerequisite
     - Previous research experience in the fields of SMT or model checking will be an asset.

The successful candidate will work under the supervision of Julien Alexandre dit Sandretto, Alexandre Chapoutot, and Sylvain Conchon (Université Paris-Saclay).


Best regards
PhD Alexandre Chapoutot — Associate 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/20190107/39f36ae7/attachment.html>