diff options
| author | tslilc <tslil@posteo.de> | 2025-02-27 17:02:20 +0000 |
|---|---|---|
| committer | tslilc <tslil@posteo.de> | 2025-02-27 17:02:20 +0000 |
| commit | 824eb6860867da012c08b3d62402f33c3a33d434 (patch) | |
| tree | 22049cbc8630f275682f9e88f284372d81356782 /cv.tex | |
| parent | 0c80cbf2eb0dac501fb32b63c51215c7ef7bf91e (diff) | |
at Symbolica
Diffstat (limited to 'cv.tex')
| -rw-r--r-- | cv.tex | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -146,6 +146,8 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp \begin{multicols}{2} \ruletitle{Work Experience} + \entry{2024-\hphantom{9000}}{Assoc. Director of Research}{Symbolica AI}{Initial role: Research Software Engineer} + \entry{2022-2024}{Quantitative Technologist}{Radix Trading B.V.}{} \entry{2016-2022}{Teaching Assistant}{Johns Hopkins}{} @@ -332,7 +334,7 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp \ruletitle{Competencies} - \listentry{Comfortable in Python \& Haskell, with experience in Agda, C, Common Lisp, Coq, \LaTeX, Python, Rust, and Zig} + \listentry{Comfortable in Python (incl. torch) \& Haskell, with experience in Agda, C, Common Lisp, Coq, \LaTeX, Python, Rust, and Zig} \listentry{English (fluent), Hebrew (intermediate), Dutch (intermediate)} |
