[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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: [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>
