From 824eb6860867da012c08b3d62402f33c3a33d434 Mon Sep 17 00:00:00 2001
From: tslilc <tslil@posteo.de>
Date: Thu, 27 Feb 2025 17:02:20 +0000
Subject: at Symbolica

---
 industry_cv.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'industry_cv.tex')

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)}
 
-- 
cgit v1.3.1

