Benchmarking the scalability of model-checker-based detection of timing anomalies H/F

Job title:

Benchmarking the scalability of model-checker-based detection of timing anomalies H/F

Company

Commissariat à l’Énergie Atomique

Job description

with a large number of academic and industrial partners. One of three institutes that comprise CEA Tech, the List institute…

Expected salary

Location

Essonne

Job date

Sat, 21 Sep 2024 04:06:03 GMT

To help us track our recruitment effort, please indicate in your email/cover letter where (nearmejobs.eu) you saw this job posting.