From cc53394c3a51e1ef46ca382677df45773dc28827 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 6 Aug 2021 08:56:48 +0200
Subject: [PATCH] [Jobs] Adds short title to pages
---
.../2021-08-05-control-flow-integrity-for-remote-attestation.md | 2 ++
...compilation-techniques-for-improving-efficiency-of-e-acsl.md | 2 ++
_jobs/2021-08-05-outline-runtime-assertion-checking.md | 2 ++
3 files changed, 6 insertions(+)
diff --git a/_jobs/2021-08-05-control-flow-integrity-for-remote-attestation.md b/_jobs/2021-08-05-control-flow-integrity-for-remote-attestation.md
index e764afd8..88932756 100644
--- a/_jobs/2021-08-05-control-flow-integrity-for-remote-attestation.md
+++ b/_jobs/2021-08-05-control-flow-integrity-for-remote-attestation.md
@@ -8,6 +8,8 @@ filled: false
keywords: control flow Integrity, remote attestation, runtime verification, static analysis, source code generation
---
+# {{ page.short }}
+
[Full description](http://julien.signoles.free.fr/positions/postdoc-cfi.pdf)
#### Context: CEA List, Software Safety and Security Lab
diff --git a/_jobs/2021-08-05-designing-compilation-techniques-for-improving-efficiency-of-e-acsl.md b/_jobs/2021-08-05-designing-compilation-techniques-for-improving-efficiency-of-e-acsl.md
index 79013aae..9c99fbf0 100644
--- a/_jobs/2021-08-05-designing-compilation-techniques-for-improving-efficiency-of-e-acsl.md
+++ b/_jobs/2021-08-05-designing-compilation-techniques-for-improving-efficiency-of-e-acsl.md
@@ -8,6 +8,8 @@ filled: false
keywords: runtime assertion checking, compilation, source code generation, static analysis
---
+# {{ page.short }}
+
[Full description](http://julien.signoles.free.fr/positions/postdoc-eacsl.pdf)
#### Context: CEA List, Software Safety and Security Lab
diff --git a/_jobs/2021-08-05-outline-runtime-assertion-checking.md b/_jobs/2021-08-05-outline-runtime-assertion-checking.md
index b116720b..1c0a5ba1 100644
--- a/_jobs/2021-08-05-outline-runtime-assertion-checking.md
+++ b/_jobs/2021-08-05-outline-runtime-assertion-checking.md
@@ -8,6 +8,8 @@ filled: false
keywords: runtime assertion checking, outline monitoring, compilation, source code generation
---
+# {{ page.short }}
+
[Full description](http://julien.signoles.free.fr/positions/phd-outline-rac.pdf)
#### Context: CEA List, Software Safety and Security Lab
--
GitLab