Postdoc in the field of Satisfiability Modulo Theory (SMT)
- Employer
- Global Academy Jobs
- Location
- France
- Closing date
- Feb 14, 2019
View more
- Sector
- Science, Computer Science and IT, Computer Science, General Computing
- Hours
- Full Time
- Organization Type
- University and College
- Jobseeker Type
- Academic (e.g. 'Lecturer')
Job Details
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).
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).
Selected candidates will be interviewed
Company
Global Academy Jobs works with over 250 universities worldwide to promote academic mobility and international research collaboration. Global problems need international solutions. Our jobs board and emails reach the academics and researchers who can help.
"The globalisation of higher education continues apace, driving in turn the ongoing development of the global knowledge economy, striving for solutions to the world’s problems and educating a next generation of leaders and contributors."
Get job alerts
Create a job alert and receive personalized job recommendations straight to your inbox.
Create alert