From 10c8a8c7f6adc0ac0c55714ae42ba349b20458e1 Mon Sep 17 00:00:00 2001
From: tslil clingman <tslil@posteo.de>
Date: Sat, 17 Jan 2026 14:50:06 +0000
Subject: re-order sections in industry CV

---
 industry_cv.tex | 44 +++++++++++++++++++++-----------------------
 1 file changed, 21 insertions(+), 23 deletions(-)

(limited to 'industry_cv.tex')

diff --git a/industry_cv.tex b/industry_cv.tex
index fd1eea5..d0ae007 100644
--- a/industry_cv.tex
+++ b/industry_cv.tex
@@ -4,7 +4,7 @@
 % Adjust margins
 % -----------------------------------------------------------------------------
 \usepackage{geometry}
-\geometry{voffset=-0.1in,hoffset=0in,
+\geometry{voffset=0.2in,hoffset=0in,
   textwidth=0.95\paperwidth,
   textheight=0.94\paperheight}
 
@@ -121,12 +121,6 @@
   \end{tabular}
 }\vspace{0ex}
 
-% -----------------------------------------------------------------------------
-% Brief academic info
-% -----------------------------------------------------------------------------
-PhD from JHU, fall 2022
-
-Supervised by \href{https://emilyriehl.github.io}{Emily Riehl}
 
 % -----------------------------------------------------------------------------
 % Main data
@@ -142,7 +136,7 @@ Supervised by \href{https://emilyriehl.github.io}{Emily Riehl}
 
 \ruletitle{Education}
 
-\entry{July 2022}{PhD in Mathematics}{Johns Hopkins}{Dissertation: Towards the theory of proof-relevant categories}
+\entry{July 2022}{PhD in Mathematics}{Johns Hopkins, supervised by Emily Riehl}{Dissertation: ``Towards the theory of proof-relevant categories''}
 
 \entry{Spring 2020}{Programme Associate}{Mathematical Sciences Research Institute}{Higher Categories and Categorification}
 
@@ -161,16 +155,17 @@ Supervised by \href{https://emilyriehl.github.io}{Emily Riehl}
 
 \entry{2011-2013}{Bachelor of Science}{University of Cape Town, Degree with Distinction} {Majors: Pure Math., Applied Math., and Astrophysics, each with distinction}
 
-\ruletitle{Computer Science}
+\ruletitle{Competencies}
 
-Prior to commencing graduate studies in mathematics, i organised, competed in, and taught the following:\\
+\listentry{Professional experience in Python, experience in Rust, have worked on medium-to-large projects in Agda, Coq, Haskell, \LaTeX}
 
-\entry{2011-2014}{Algorithm Circle}{Theoretical C.S. organisation, University of Cape Town}{Lecturer (2011-2014), Vice Chairman (2012, 2014), Chairman (2013) for an organisation that gave free \& open, weekly lectures on topics in theoretical computer science (data structures, complexity theory, programming language theory, cryptography) and helped attendees prepare for programming contests.}
+\listentry{Professional experience with CI/CD, GitHub Actions, Docker, version control tools, Linux}
 
-\entry{Dec. 2012}{Top 10 in Southern Africa}{Google App Developer Challenge}{Designed and implemented a website allowing for the easy, intuitive and visual organisation of free-
-  form data into graphs and networks conveying relations and interconnections. Written in Python, Javascript, and using D3.js.}
+\listentry{English (fluent), Hebrew (intermediate), Dutch (intermediate)}
 
-\entry{2011 \& 2012}{Haskell Course}{University of Cape Town}{Organised and gave a free \& open Haskell programming language course.}
+\pagebreak
+
+\ruletitle{Computer Science}
 
 In the period 2011-present, i have contributed code to several open-source projects, including:\\
 
@@ -183,11 +178,20 @@ In the period 2011-present, i have contributed code to several open-source proje
 In the period 2016-present, i have created several medium-to-large projects of my own, including:\\
 
 \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 neural networks, adversarial tree search, \& buildroot for cross-compiling and embedded computing on a Raspberry PI}
-\listentry{\href{https://git.sr.ht/~tslil/keyboard}{srchr} [Rust], a parallelised keyboard layout optimiser. This project exploits symmetries in ``pre-layouts'' to reduce the search space, which it explores by way of a genetic algorithm in order to optimise layouts given certain n-gram distributions and a customisable loss function as input. Includes schematics for custom keyboard pcbs}
+\listentry{\href{https://git.sr.ht/~tslil/keyboard}{srchr} [Rust], a parallelised keyboard layout optimiser. This project exploits symmetries in ``pre-layouts'' to reduce the search space, which it explores by way of a genetic algorithm in order to optimise layouts given certain n-gram distributions and a customisable loss function as input. Includes schematics for custom keyboard PCBs}
 \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/zirc}{ZiRC} [Zig], 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/zirc}{ZiRC} [Zig], a project to learn the Zig programming language and the basics of 3D rendering by building a featureful raycaster engine}
+
+Additional points of interest:\\
+
+\entry{2011-2014}{Algorithm Circle}{Theoretical C.S. organisation, University of Cape Town}{Lecturer (2011-2014), Vice Chairman (2012, 2014), Chairman (2013) for an organisation that gave free \& open, weekly lectures on topics in theoretical computer science (data structures, complexity theory, programming language theory, cryptography) and helped attendees prepare for programming contests.}
+
+\entry{Dec. 2012}{Top 10 in Southern Africa}{Google App Developer Challenge}{Designed and implemented a website allowing for the easy, intuitive and visual organisation of free-
+  form data into graphs and networks conveying relations and interconnections. Written in Python, Javascript, and using D3.js.}
+
+\entry{2011 \& 2012}{Haskell Course}{University of Cape Town}{Organised and gave a free \& open Haskell programming language course.}
 
 \ruletitle{Papers}
 
@@ -207,7 +211,7 @@ In the period 2016-present, i have created several medium-to-large projects of m
 
 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}
 
-\entry{2018-2021}{Head T.A. \& \\ WeBWorK administrator}{Johns Hopkins} {Calculus III \& ODE (twice \& thrice, resp.) and online homework system}
+\entry{2018-2021}{Head T.A. \& WeBWorK administrator}{Johns Hopkins} {Calculus III \& ODE (twice \& thrice, resp.) and online homework system}
 
 \entry{Spring 2019}{Course development}{Johns Hopkins} {Introduction to Proofs, assisted Prof. Riehl in course development}
 
@@ -236,12 +240,6 @@ See my \href{https://tslil.xyz}{website} for details, including my role as sole
 
 \entry{2011 \& 2012}{Organiser}{Haskell Programming Course, University of Cape Town} {Organised and gave a free and open Haskell language programming course}
 
-\ruletitle{Competencies}
-
-\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)}
-
 \ruletitle{Personal Pursuits}
 
 \listentry{\textit{Electronics \& 3D printing}:
-- 
cgit v1.3.1

