Skip to content
Snippets Groups Projects
Commit 468e1c84 authored by Thibaud Antignac's avatar Thibaud Antignac
Browse files

minor

parent b64153f4
No related branches found
No related tags found
No related merge requests found
Pipeline #41880 passed
Stage: deploy
Hide whitespace changes
Inline Side-by-side
_jobs/2021-07-08-permanent-computer-scientist-cyber-security-verification.md
+ 1
− 1
View file @ 468e1c84
...@@ -3,7 +3,7 @@ layout: job ...@@ -3,7 +3,7 @@ layout: job
title: Permanent Computer Scientist Position at CEA LIST - LSL title: Permanent Computer Scientist Position at CEA LIST - LSL
short_title: Permanent Computer Scientist Position short_title: Permanent Computer Scientist Position
short: Develop and extend the applicability of Frama-C for cybersecurity purposes short: Develop and extend the applicability of Frama-C for cybersecurity purposes
date: 08-07-2021 date: 01-02-2022
filled: false filled: false
keywords: cybersecurity, software analysis, formal methods, open source keywords: cybersecurity, software analysis, formal methods, open source
--- ---
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment