diff options
| -rw-r--r-- | cv.pdf | bin | 83882 -> 84115 bytes | |||
| -rw-r--r-- | cv.tex | 4 | ||||
| -rw-r--r-- | industry_cv.pdf | bin | 74448 -> 74761 bytes | |||
| -rw-r--r-- | industry_cv.tex | 6 |
4 files changed, 6 insertions, 4 deletions
| Binary files differ @@ -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)} diff --git a/industry_cv.pdf b/industry_cv.pdf Binary files differindex 8e6adf0..5db5700 100644 --- a/industry_cv.pdf +++ b/industry_cv.pdf diff --git a/industry_cv.tex b/industry_cv.tex index acf5e02..bb87150 100644 --- a/industry_cv.tex +++ b/industry_cv.tex @@ -134,6 +134,8 @@ Supervised by \href{https://emilyriehl.github.io}{Emily Riehl} \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}{} @@ -197,8 +199,6 @@ In the period 2016-present, i have created several medium-to-large projects of m \urlentry{https://doi.org/10.1007/s10485-022-09691-z}{2-limits and 2-terminal objects are too different}{joint with L. Moser, on the failure of all theorems of the form ``a 2-dimensional limit is a 2-dimensional terminal object in a 2-dimensional slice category of cones''. Appl. Categor. Struct. 2022} -\pagebreak - \ruletitle{Teaching Award} \entry{April 2021}{William Kelso Morrill Award}{Excellence in Mathematics}{For love of teaching, love of mathematics, and concern for students, nominated by undergraduates \& selected by the department.} @@ -238,7 +238,7 @@ See my \href{https://tslil.xyz}{website} for details, including my role as sole \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)} |