Official job announcements
Check once again later.
“PhD Position F/M Checking TLA+ Invariants by Finite Model Finding [S]”
Ref. : 2019-01544
Level of qualifications required : Graduate degree or equivalent
Level of experience :
Application deadline
May 1st, 2019 (Midnight Paris time)
How to apply
Upload your CV on jobs.inria.fr; this should be a pdf file of at most 2Mo.
In addition, send the following documents to stephan.merz@inria.fr and igor.konnov@inria.fr in a single pdf or ZIP file:
• CV.
• A cover/motivation letter describing your interest in this topic.
• Your degree certificates and transcripts for Bachelor and Master (or the last 5 years).
• Master thesis (or equivalent) if it is already completed, or a description of the work in progress, otherwise.
• Publications or web links, if any (it is not expected that you have any).
In addition, one recommendation letter from the person who supervises(d) your Master thesis (or research project or internship) should be sent directly by his/her author to stephan.merz@inria.fr.
Applications are to be sent as soon as possible.
Inria Team : VERIDIS (EP)
Starting date : 2019-10-01
Duration of contract : 3 years
Town/City : Villers-lès-Nancy ( Research Center : Villers-lès-Nancy )
Deadline to apply : 2019-05-01
->See the job offer…