experience/2022-09_tweag.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

{ href, ... }:

{
  date = {
    start = "2022-09-14";
    end = "2023-02-24";
  };
  institution = {
    position = "Software Engineering intern";
    name = "Tweag";
    url = "https://www.tweag.io/";
    location = "Paris, France";
  };
  description = "Ongoing. Speeding-up ${
      href "https://github.com/tweag/pirouette" "Pirouette"
    } (a symbolic evaluator using incorrectness logic) by optimizing its interactions with SMT solvers.";
}