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

---
 cv.tex | 29 ++++++++++++++++++++---------
 1 file changed, 20 insertions(+), 9 deletions(-)

(limited to 'cv.tex')

diff --git a/cv.tex b/cv.tex
index 856684d..664e283 100644
--- a/cv.tex
+++ b/cv.tex
@@ -144,6 +144,12 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
 % Main data
 % -----------------------------------------------------------------------------
 \begin{multicols}{2}
+  \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}
@@ -165,6 +171,8 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
 
   \entry{2011-2013}{Bachelor of Science}{Univ. Cape Town, Degree with Distinction} {Majors: Pure Math., Applied Math., and Astrophysics, each with distinction}
 
+  \columnbreak
+
   \ruletitle{Teaching Experience}
 
   See my \href{https://tslil.xyz}{website} for details, including my role as sole instructor, my role in administrating the online homework system, and my work as a course development assistant and the products thereof.\vspace{1ex}
@@ -184,13 +192,15 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
 
   \entry{2014-2021}{Teaching Assistant}{}{Real Analysis, Introductory Abstract Algebra, Linear Algebra, Differential Equations, Calculus Sequence, String Theory}
 
-  \ruletitle{Award}
+  \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.}
 
+  \columnbreak
+
   \ruletitle{Papers}
 
-    \arxiventry{2109.14123}{Regular Calculi I: Graphical Regular Logic}{joint with B. Fong \& D. I. Spivak, on the novel structure of regular calculi and their use as an ergonomic \& graphical syntax for regular logic.}
+  \arxiventry{2109.14123}{Regular Calculi I: Graphical Regular Logic}{joint with B. Fong \& D. I. Spivak, on the novel structure of regular calculi and their use as an ergonomic \& graphical syntax for regular logic.}
 
   \arxiventry{2106.03652}{A common misinterpretation of Isbell's obstruction to monoidal strictfication\linebreak}{which shows that the widely disseminated obstruction to strictifying the associator is shown to be under-specified as stated, and the truth is more subtle.}
 
@@ -217,23 +227,23 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
 
   \listentry{\href{https://github.com/aaronbieber/tiny-menu.el/pull/5}{tiny-menu.el}, an Emacs minor mode to display interactive menus for quick actions written in Emacs Lisp}
 
-  \columnbreak
-
   In the period 2016-present, i have created several medium-to-large projects of my own, including:
 
   \listentry{\href{https://git.sr.ht/~tslil/adclock}{Art-deco clock} [AVR C, OpenSCAD], a 3D-printed art-deco clock using an ATTiny24, RTC chip, and two OLED displays}
   \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{Notable Service}
 
-  \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}
 
+  \newcolumn
+
   \entry{2017-2019}{Co-organiser}{Directed Reading Program (DRP), Johns Hopkins}{Individual pairing of undergraduates with graduates for independent studies (\href{http://math.jhu.edu/drp.html}{website}). Mentor \& co-organiser (2017-2019), primary organiser (2018-2019)}
 
   \entry{2015}{Organiser}{Maths Postgrad. Tea Party, Univ. Cape Town} {Founder of a biweekly meeting of graduates, comprising peer lectures and discussions over tea}
@@ -324,8 +334,7 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
 
   \listentry{Comfortable in C \& Haskell, with experience in Agda, Common Lisp, Coq, \LaTeX, Python, Rust, and Zig}
 
-  \listentry{English (fluent), Hebrew (intermediate), Afrikaans
-    (intermediate)}
+  \listentry{English (fluent), Hebrew (intermediate), Dutch (intermediate)}
 
   \vfill\null
   \columnbreak
@@ -347,6 +356,8 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
   \listentry{\textcolor{cv-h1}{Digital Music} Leveraged trackers and
     other platforms to create a variety of compositions}
 
+  \vfill\null
+
   \rule{0.7\linewidth}{0.4pt}
 
   {References available upon request}
-- 
cgit v1.3.1

