From 526c88258a5e77101d35664851ae4b5bac170b09 Mon Sep 17 00:00:00 2001 From: aristote Date: Mon, 24 Nov 2025 18:26:49 +0100 Subject: experience: add academic service --- experience/jobs/2023-03_irif.nix | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) create mode 100644 experience/jobs/2023-03_irif.nix (limited to 'experience/jobs/2023-03_irif.nix') diff --git a/experience/jobs/2023-03_irif.nix b/experience/jobs/2023-03_irif.nix new file mode 100644 index 0000000..85b7e61 --- /dev/null +++ b/experience/jobs/2023-03_irif.nix @@ -0,0 +1,35 @@ +{ ... }: +{ + date = { + start = { + year = 2023; + month = 2; + day = 27; + }; + end = { + year = 2023; + month = 7; + day = 28; + }; + }; + institution = { + position = "research intern in Applied Category Theory"; + name = "IRIF (UMR 8243), CNRS"; + url = "https://www.irif.fr/en/index"; + location = "Paris, France"; + }; + supervisors = [ + { + name = "Daniela Petrişan"; + url = "https:/www.irif.fr/~petrisan/"; + } + ]; + assets = [ + { + type = "Writings"; + id = "aristoteActiveLearningDeterministic2024"; + name = "paper"; + } + ]; + description = "Follow-up to my M2's internship: wrote a paper and further explored some open questions as a preparation for my PhD."; +} -- cgit v1.2.3