Votre alerte-emploi vient d’être créée avec succès.
ENSTA ParisTech
ENSTA ParisTech
Palaiseau, France

ENSTA ParisTech

ENSTA ParisTech belongs to the foremost graduate schools of engineering in France. It offers its students a broad education in engineering with the aim of enabling them to design, carry out and manage complex technical projects. In this view, the institute provides a high-level scientific and technological education, which is constantly updated to keep pace with changes in the leading edge technologies, and supplemented by languages, humanities, and the skills needed in business life such as law, communication, economics, accounting and management.

1 POSTES PROPOSÉS PAR CET EMPLOYEUR

ENSTA ParisTech
ENSTA ParisTech
Localisation: Palaiseau, France | Se termine le mars 01
Postdoc position - Designing a SAT modulo ODE solver
Keywords: SAT/SMT solvers, Interval analysis, Constraint programming Lab: U2IS, ENSTA ParisTech, 828 boulevard des maréchaux 91762 Palaiseau Cedex Advisors: Julien Alexandre dit Sandretto, Alexandre Chapoutot, and Sylvain Conchon (Université Paris-Sud) Duration: 12...