\documentclass[a4paper,12pt]{article} % ----------------------------------------------------------------------------- % Adjust margins % ----------------------------------------------------------------------------- \usepackage{geometry} \geometry{voffset=0.2in,hoffset=0in, textwidth=0.95\paperwidth, textheight=0.94\paperheight} % ----------------------------------------------------------------------------- % Set font % ----------------------------------------------------------------------------- \usepackage{fontspec} \setmainfont[ItalicFont={* Italic}]{Libre Baskerville} % ----------------------------------------------------------------------------- % Colours % ----------------------------------------------------------------------------- \usepackage{xcolor} \definecolor{cv-link}{HTML}{0000EE} % ----------------------------------------------------------------------------- % Commands for entries in the CV % ----------------------------------------------------------------------------- \newsavebox{\ruletitletext} \newlength{\ruletitleheight} \newcommand{\ruletitle}[2][1pt]{ \savebox{\ruletitletext}{{\Large\textbf{#2}}} \settoheight{\ruletitleheight}{\usebox{\ruletitletext}} { \makebox[0pt][l]{\rule[0.25\ruletitleheight]{\linewidth}{#1}} \hspace{2ex}\colorbox{white}{\usebox{\ruletitletext}} }\medskip } \newcommand{\marker}[1]{\rule[{#1}]{5pt}{5pt}} \usepackage{xifthen} \newsavebox{\entryadj} \newsavebox{\entryhead} \newlength{\entryv} \newlength{\entryh} \newcommand{\entry}[4]{ \savebox{\entryadj}{{#1}} \settoheight{\entryv}{\usebox{\entryadj}} \savebox{\entryhead}{\marker{0.5\entryv-3pt}\makebox[12.3ex][r]{\usebox{\entryadj}}} \settowidth{\entryh}{\usebox{\entryhead}}\usebox{\entryhead} % The parbox cannot be the exact length of the line or we'll incur a % newline automatically when typesetting \ifthenelse{\isempty{#2}}{}{ \parbox[t]{\linewidth-\entryh-1.1ex}{\textbf{{#2}\vspace{1.5pt}}}} \ifthenelse{\isempty{#3}}{}{\\{\setromanfont{EB Garamond}\textsc{{#3}}}} \ifthenelse{\isempty{#4}}{}{\\\emph{{#4}}}\medskip } \newcommand{\arxiventry}[3]{ \settoheight{\entryv}{{#2}} \noindent\marker{0.5\entryv-3pt} \parbox[t]{\linewidth-1.1ex}{\textbf{{#2}\vspace{1.5pt}} {\setromanfont{EB Garamond}(\href{https://arxiv.org/abs/#1}{arXiv {#1}})}} \\\emph{{#3}}\medskip } \newcommand{\urlentry}[3]{ \settoheight{\entryv}{{#2}} \noindent\marker{0.5\entryv-3pt} \parbox[t]{\linewidth-1.1ex}{\textbf{{#2}\vspace{1.5pt}} {\setromanfont{EB Garamond}(\href{#1}{link})}} \\\emph{{#3}}\medskip } \newcommand{\datelistentry}[3][black]{ \savebox{\entryadj}{{#2}}\settoheight{\entryv}{\usebox{\entryadj}} \marker{0.5\entryv-3pt}\makebox[6ex][r]{\usebox{\entryadj}} \ \begin{minipage}[t]{\linewidth-6ex-9.59201pt} \textcolor{#1}{{#3}} \end{minipage}\medskip } \newcommand{\listentry}[2][black]{ \settoheight{\entryv}{{#2}} \marker{0.5\entryv-3pt} \begin{minipage}[t]{\linewidth-7.926pt} \textcolor{#1}{{#2}} \end{minipage}\medskip } % ----------------------------------------------------------------------------- % Layout related % ----------------------------------------------------------------------------- \setlength{\fboxrule}{1pt} \setlength{\parindent}{0pt} \usepackage{multicol} \setlength{\columnsep}{3ex} \setlength{\columnseprule}{0.1pt} % ----------------------------------------------------------------------------- % Hyperlinks % ----------------------------------------------------------------------------- \usepackage[hidelinks,colorlinks=true,urlcolor=cv-link]{hyperref} \usepackage[misc]{ifsym} %for \Letter \newcommand{\email}[1]{\Letter\ \href{mailto:{#1}}{{#1}}} \begin{document} \pagestyle{empty} % ----------------------------------------------------------------------------- % Biographical information % ----------------------------------------------------------------------------- % Name {\fontsize{32}{48}\selectfont tslil clingman} % Contact info \hfill\fcolorbox{black}{white}{ \begin{tabular}{l} \email{tslil@posteo.de}\\ \href{https://tslil.xyz}{https://tslil.xyz} \end{tabular} }\vspace{0ex} % ----------------------------------------------------------------------------- % Main data % ----------------------------------------------------------------------------- \ruletitle{Work Experience} \entry{2026-\hphantom{9001}}{Principal Research Engineer}{Topos Research UK}{} \entry{2024-2026}{Associate 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}{} \ruletitle{Education} \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} \entry{2018}{Masters Degree}{Johns Hopkins, M.A. Math.}{Completed written qualifying exams and oral speciality exam} \entry{2016-2018}{Principle Fulbright Scholar}{Johns Hopkins} {Selected \& funded to pursue PhD in Math., transferred from George Washington University} \entry{2015-2016}{Principle Fulbright Scholar}{George Washington University}{Graduate coursework} \entry{2015}{Masters Degree} {University of Cape Town, M.Sc. Math., with Distinction} {Dissertation: ``On the local and global properties of information manifolds''} \entry{2014-2015}{Research Group}{University of Cape Town, Information Geometry} {Quantum Gravity and Strings Laboratory} \entry{2014}{Honours Degree}{University of Cape Town, Pure Math., First Class}{} \entry{2011-2013}{Bachelor of Science}{University of Cape Town, Degree with Distinction} {Majors: Pure Math., Applied Math., and Astrophysics, each with distinction} \ruletitle{Competencies} \listentry{Professional experience in Python, experience in Rust, have worked on medium-to-large projects in Agda, Coq, Haskell, \LaTeX} \listentry{Professional experience with CI/CD, GitHub Actions, Docker, version control tools, Linux} \listentry{English (fluent), Hebrew (intermediate), Dutch (intermediate)} \pagebreak \ruletitle{Computer Science} In the period 2011-present, i have contributed code to several open-source projects, including:\\ \listentry{\href{http://mikeos.sourceforge.net/\#credits}{MikeOS}, a 16bit real-mode operating system written in x86 assembly} \listentry{\href{https://github.com/bradharding/doomretro/wiki/CREDITS}{DoomRetro}, a modern source port of ID Software's DOOM (II) game engine written in C using SDL2} \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}\\ 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/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} 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} \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.} \urlentry{http://cahierstgdc.com/wp-content/uploads/2022/07/Clingman-Moser-LXIII-3.pdf}{Bi-representations and bi-initial objects are not so different}{joint with L. Moser, on 2-categorical and double-categorical theorems characterising when pseudo-functors into Cat are representable, with applications to bi-adjunctions and 2-dimensional limits. {Cahiers de Topologie et Géométrie Différentielle Catégoriques, LXIII-3}.} \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{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.} \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} \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} \entry{Fall 2017}{Sole Instructor}{Johns Hopkins} {Introduction to Calculus} \entry{Jan. 2017}{Primary Instructor}{Johns Hopkins} {Intersession Course: Recreational Math. for All} \entry{2017-`19, `21}{DRP Mentor}{Johns Hopkins} {Mentored projects in: General Topology, Braid Group Representations, Category Theory, Homotopy Type Theory} \entry{Oct. 2014}{Invited Instructor}{University of Cape Town} {Introduction to Group Theory} \entry{2014-2021}{Teaching Assistant}{}{Real Analysis, Introductory Abstract Algebra, Linear Algebra, Differential Equations, Calculus Sequence, String Theory} \ruletitle{Notable Service \& Leadership} \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} \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, University of Cape Town} {Founder of a biweekly meeting of graduates, comprising peer lectures and discussions over tea} \entry{2011-2015}{Various roles} {Algorithm Circle -- Theoretical Comp. Sci. Club, University of Cape Town} {Free and open lectures, and competition prep. Lecturer (2011-2015), Vice-chairman (2012, 2014), Chairman (2013)} \entry{2011 \& 2012}{Organiser}{Haskell Programming Course, University of Cape Town} {Organised and gave a free and open Haskell language programming course} \ruletitle{Personal Pursuits} \listentry{\textit{Electronics \& 3D printing}: Various projects leveraging micro-controllers and custom circuitry} \listentry{\textit{Cellular automata}: Exploration of rule sets and pattern engineering} \listentry{\textit{Esoteric Programming Languages}: Authored and implemented several languages (\href{https://esolangs.org/wiki/User:Hiato}{url})} \listentry{\textit{Fractal Art}: Exploration of the media of iterated function systems, chaotic maps and attractors, and epicyclic generators} \listentry{\textit{Digital Music}: Leveraged trackers and other platforms to create a variety of compositions} \vfill \rule{0.7\linewidth}{0.4pt} {References available upon request} \end{document} %%% Local Variables: %%% mode: latex %%% TeX-master: t %%% TeX-engine: xetex %%% End: