Expert for Formal methods and verification of hardware circuits

Friday
1
Dec
2017
Offer type: 
  • Engineer
Duration: 
12 month (extension possible)
Workplace: 
Host team: 
Contact person: 
Hubert Garavel
Offer details: 

See the .pdf file.