From 563e8e8ce64746496f8725755657ebcab360a091 Mon Sep 17 00:00:00 2001
From: tslil clingman <>
Date: Mon, 19 Feb 2024 10:44:14 +0100
Subject: Fix indentation, update

---
 industry_cv.tex | 21 +++++++++++++--------
 1 file changed, 13 insertions(+), 8 deletions(-)

(limited to 'industry_cv.tex')

diff --git a/industry_cv.tex b/industry_cv.tex
index 505ddfc..e59cbd7 100644
--- a/industry_cv.tex
+++ b/industry_cv.tex
@@ -132,6 +132,12 @@ Supervised by \href{https://emilyriehl.github.io}{Emily Riehl}
 % Main data
 % -----------------------------------------------------------------------------
 
+\ruletitle{Work Experience}
+
+\entry{2022-\hphantom{2022}}{Quantitative Technologist}{Radix Trading B.V.}{}
+
+\entry{2016-2022}{Teaching Assistant}{Johns Hopkins}{}
+
 \ruletitle{Education}
 
 \entry{July 2022}{PhD in Mathematics}{Johns Hopkins}{Dissertation: Towards the theory of proof-relevant categories}
@@ -178,8 +184,8 @@ In the period 2016-present, i have created several medium-to-large projects of m
 \listentry{\href{https://github.com/tslilc/siege-mode}{siege-mode.el} [elisp], an Emacs minor mode to surround the region with smart delimiters interactively}
 \listentry{\href{https://git.sr.ht/~tslil/msr}{msr} [C], a public-key signature verification tool using curve Ed25519, libsodium, GNU argp, and compatible with OpenBSD's signify}
 \listentry{\href{https://git.sr.ht/~tslil/takwrap}{TakWrap} [Rust], a TUI for local play of the abstract strategy game of Tak}
-\listentry{\href{https://git.sr.ht/~tslil/ctak}{ctak} [C, ongoing], a line-mode interface for the game of Tak, complete with a computer opponent. This project was designed to learn about (convolutional) neural networks, adversarial tree search, \& buildroot for cross-compiling and embedded computing on a Raspberry PI}
-\listentry{\href{https://git.sr.ht/~tslil/zirc}{ZiRC} [Zig, ongoing], a project to learn the Zig programming language and the basics of 3D rendering by building a featureful raycaster engine}
+\listentry{\href{https://git.sr.ht/~tslil/ctak}{ctak} [C], a line-mode interface for the game of Tak, complete with a computer opponent. This project was designed to learn about (convolutional) neural networks, adversarial tree search, \& buildroot for cross-compiling and embedded computing on a Raspberry PI}
+\listentry{\href{https://git.sr.ht/~tslil/zirc}{ZiRC} [Zig], a project to learn the Zig programming language and the basics of 3D rendering by building a featureful raycaster engine}
 
 \ruletitle{Papers}
 
@@ -191,11 +197,11 @@ 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}
 
-\ruletitle{Award}
+\pagebreak
 
-\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.}
+\ruletitle{Teaching Award}
 
-\pagebreak
+\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.}
 
 \ruletitle{Teaching Experience}
 
@@ -218,7 +224,7 @@ See my \href{https://tslil.xyz}{website} for details, including my role as sole
 
 \ruletitle{Notable Service \& Leadership}
 
-\entry{2019}{Primary organiser}{2019 Category Theory Octoberfest {\setromanfont{Libre Baskerville Italic} {(\href{https://ct-octoberfest.github.io}{website})}},\\Johns Hopkins}{}
+\entry{2019}{Primary organiser}{2019 Category Theory Octoberfest {\setromanfont{Libre Baskerville Italic} {(\href{https://ct-octoberfest.github.io}{website})}}}{hosted at Johns Hopkins}
 
 \entry{2018}{Chapter representative}{Directed Reading Program (DRP)}{Represented the JHU DRP chapter at the Directed Reading Programme Network \& Workshop, MIT}
 
@@ -234,8 +240,7 @@ See my \href{https://tslil.xyz}{website} for details, including my role as sole
 
 \listentry{Comfortable in C and Haskell, with experience in Agda, (x86 \& AVR) Assembly, Common Lisp, Coq, \LaTeX, Python, Rust, and Zig}
 
-\listentry{English (fluent), Hebrew (intermediate), Afrikaans
-  (intermediate)}
+\listentry{English (fluent), Hebrew (intermediate), Dutch (intermediate)}
 
 \ruletitle{Personal Pursuits}
 
-- 
cgit v1.3.1

