experience: add academic service

1 files changed, 0 insertions, 41 deletions

diff --git a/experience/2022-09_tweag.nix b/experience/2022-09_tweag.nix
deleted file mode 100644
index bc7c000..0000000
--- a/experience/2022-09_tweag.nix
+++ /dev/null
@@ -1,41 +0,0 @@
-{href, ...}: {
-  date = {
-    start = {
-      year = 2022;
-      month = 9;
-      day = 14;
-    };
-    end = {
-      year = 2023;
-      month = 2;
-      day = 24;
-    };
-  };
-  institution = {
-    position = "Software Engineering intern";
-    name = "Tweag";
-    url = "https://www.tweag.io/";
-    location = "Paris, France";
-  };
-  supervisors = [
-    {
-      name = "Tweag's HAS group";
-      url = "https://www.tweag.io/group/high-assurance-software/";
-    }
-  ];
-  assets = [
-    {
-      name = "blog post";
-      id = "aristoteSmtlibbackendsFasterSMTLIBbased2023";
-      type = "Writings";
-    }
-    {
-      name = "library";
-      id = "aristoteSmtlibbackends2022";
-      type = "Software";
-    }
-  ];
-  description = "Sped-up ${
-    href "https://github.com/tweag/pirouette" "Pirouette"
-  } (a symbolic evaluator using incorrectness logic) by optimizing its interactions with SMT solvers.";
-}