diff options
| -rw-r--r-- | industry_cv.pdf | bin | 74748 -> 74367 bytes | |||
| -rw-r--r-- | industry_cv.tex | 44 |
2 files changed, 21 insertions, 23 deletions
diff --git a/industry_cv.pdf b/industry_cv.pdf Binary files differindex d503ddd..267290f 100644 --- a/industry_cv.pdf +++ b/industry_cv.pdf 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}: |