Job offers

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…

Proposals for internships

  1. Bounded model checking of liveness properties of TLA+ specifications. Check the proposal.
  2. Bounded model checker for threshold automata with delays. Check the proposal.
  3. Automated reasoning: the best of two worlds. Check the proposal.

Comments are closed.