Official job announcements
Check once again later.
“PhD Position F/M Automated Reasoning for Set Theory”
Ref. : 2022-04898
Level of qualifications required : Graduate degree or equivalent
Level of experience :
Application deadline
June 5, 2022 (Midnight Paris time)
How to apply
Upload your application on jobs.inria.fr in a single pdf or zip file, and send it as well by email to stephan.merz@loria.fr. Your file should contain the following documents:
• Your CV.
• A cover/motivation letter describing your interest in this topic.
• A short (max one page) description of your Master thesis (or equivalent) or of the work in progress if not yet completed.
• Your degree certificates and transcripts for Bachelor and Master (or the last 5 years).
• Master thesis (or equivalent) if it is already completed and publications if any (it is not expected that you have any). Only the web links to these documents are preferable, if possible.
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@loria.fr.
Applications are to be sent as soon as possible. Informal enquiries about the position are welcome by email to stephan.merz@loria.fr and sophie.tourret@loria.fr.
Inria Team : VERIDIS
Starting date : 2022-10-01
Duration of contract : 3 years
Town/City : Villers lès Nancy ( Research Center : Villers lès Nancy )
Deadline to apply : 2022-06-06
->See the job offer…
“PhD Position F/M Formalization of Set Theory and Proof Checking”
Ref. : 2022-04909
Level of qualifications required : Graduate degree or equivalent
Level of experience :
Application deadline
June 12, 2022 (midnight Paris time)
How to apply
Upload your application on jobs.inria.fr in a single pdf or zip file, and also send it by email to stephan.merz@loria.fr. Your file should contain the following documents:
• Your CV.
• A cover/motivation letter describing your interest in this topic.
• A short (max one page) description of your Master thesis (or equivalent) or of the work in progress if not yet completed.
• Your degree certificates and transcripts for Bachelor and Master (or the last 5 years).
• Master thesis (or equivalent) if it is already completed and publications if any (it is not expected that you have any). Only the web links to these documents are preferable, if possible.
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@loria.fr.
Applications are to be sent as soon as possible. Informal enquiries about the position are welcome by email to stephan.merz@loria.fr and gilles.dowek@inria.fr.
Inria Team : VERIDIS
Starting date : 2022-10-01
Duration of contract : 3 years
Town/City : Villers lès Nancy ( Research Center : Villers lès Nancy )
Deadline to apply : 2022-06-13
->See the job offer…