Skip to content
Snippets Groups Projects

New position

Merged New position
jobs/update-positions into master
Merged Allan Blanchard requested to merge jobs/update-positions into master
Compare
and
2 files
+ 76
− 1
Compare changes
  • Side-by-side
  • Inline
Files
2
_jobs/2023-02-28-fixed-term-use-case.md
+ 1
− 1
@@ -7,7 +7,7 @@ short: "
the applicability of Frama-C for cybersecurity purposes
"
date: 28-02-2023
filled: false
filled: true
keywords: Cybersecurity, Software Analysis, Formal Methods, OCaml
---