resume.tex

% !TEX TS-program = xelatex
% !TEX encoding = UTF-8

\documentclass[letterpaper,10pt,oneside]{simpleresume}

\usepackage{pbox}
\usepackage{minibox}

% CV Info (to be customized).
\newcommand{\CVAuthor}{Devin Lehmacher}
\newcommand{\CVTitle}{\CVAuthor{}'s Resume}
\newcommand{\CVWebpage}{github.com/lehmacdj}
\newcommand{\CVMailAddress}{lehmacdj@gmail.com}
\newcommand{\JobHeading}[3]{%
#1
\hfill
\pbox[t][0pt]{\textwidth}{%
\minibox[t,r]{%
#2 \\
#3
}
}
}

% PDF settings and properties.
\hypersetup{%
pdftitle={\CVTitle},
pdfauthor={\CVAuthor},
pdfsubject={\CVWebpage},
pdfcreator={XeLaTeX},
pdfproducer={},
pdfkeywords={},
pdfpagemode={},
unicode=true,
bookmarksopen=true,
pdfstartview=FitH,
pdfpagelayout=OneColumn,
pdfpagemode=UseOutlines,
hidelinks,
breaklinks}

% Shorthand.
\newcommand{\CodeCommand}[1]{\mbox{\textbf{\textbackslash{#1}}}}

\begin{document}
\begin{minipage}[t][0pt]{\linewidth}
\pagestyle{empty}

\title{\CVAuthor}

\begin{subtitle}
1504 143rd Ave SE, Bellevue, WA 98007
\par
\href{mailto:\CVMailAddress}
{\CVMailAddress}
\,\SubBulletSymbol\,
+1\,(864)\,722--3014
\,\SubBulletSymbol\,
\href{https://\CVWebpage}
{\CVWebpage}
\end{subtitle}

\begin{body}

\section%
{Summary}
{Summary}
{PDF:Summary}

Curious, spontaneous, continuously learning software engineer dedicated to
writing performant, scalable software that handles errors gracefully. 3+ years
of industry experience developing and designing cloud services.
% maybe something about leadership experience + functional programming would
% be good to put here too

\section%
{Education}
{Education}
{PDF:Education}

\JobHeading%
{\href{https://www.cornell.edu}{\textbf{Cornell University}}}
{\DatestampYMD{2015}{08}{25} --- \DatestampYMD{2019}{05}{26}}
{Ithaca, NY}
\BulletItem%
Bachelors of Arts in
\href{https://www.cs.cornell.edu}{Computer Science}
\BulletItem%
Cumulative GPA:\@ 3.611
\Hide{%
% this is calculated from only classes in subject CS
% >>> 4 * 4 + (4 * 4 + 3 * 3.3) + (4 * 4 + 3 * 3.7) + (3 * 4 + 4.3 * 2 + 4.3 * 4) + (3 * 4 + 4 * 4.3 + 4 * 4 + 3.7 * 3) + (3 * 3.7 + 2 * 3.7 + 4 * 4 + 4 * 3.7) + (4 * 2.3 + 3 * 3.7 + 4 * 4.3)
% 249.9
% >>> last / (4 + 4 + 3 + 4 + 3 + 3 + 2 + 4 + 3 + 4 + 4 + 3 + 3 + 2 + 4 + 4 + 4 + 3 + 4)
% 3.84461538461538461538
, Major GPA: 3.84\@
}
\Hide{%
SAT 1580+
}

\Hide{%
% classes probably not super relevant after having real job experience
\section%
{Classes}
{Classes}
{PDF:Classes}

\Class{Object Oriented Programming and Data Structures}{CS 2110}
$\bullet$
\Class{Functional Programming and Data Structures}{CS 3110}

\Class{Introduction to Compilers \& Practicum}{CS 4120 \& CS 4121}
$\bullet$
\Class{Operating Systems \& Practicum}{CS 4410 \& CS 4411}
$\bullet$
\Class{Database Systems}{CS 4320}

\Class{Intro to Analysis of Algorithms}{CS 4820}
$\bullet$
\Class{Intro to Theory of Computing}{CS 4810}
$\bullet$
\Class{Discrete Structures}{CS 2800}

\Class{Advanced Programming Languages}{CS 6110}
$\bullet$
\Class{Certified Software Systems}{CS 6115}
$\bullet$
\Class{Computer System Organization}{CS 3410}

\Class{Category Theory for Computer Scientists}{CS 6117}
$\bullet$
\Class{Constructive Type Theory}{CS 6180}
$\bullet$
\Class{Kleene Algebra}{CS 6861}
}

\section%
{Experience}
{Experience}
{PDF:Experience}

\JobHeading%
{\textbf{SimSpace}, \emph{Software Engineer II}}
{\DatestampYMD{2021}{6}{14} --- Present}
{Boston, MA (Remote)}
\BulletItem%
Technical Lead of Team Fourier, responsible for components managing and
\BulletContinuation%
orchestrating attacks targeting SimSpace's hyperrealistic cyber range platform
\BulletItem%
Defining and executing plan to decouple attack functionality from monolithic architecture
\BulletItem%
Led team level sprint planning and execution for 1 month of work at a time
\BulletItem%
Onboarded 4 new team members, quickly getting them up to speed with unfamiliar technologies
\BulletItem%
Brought lack of product vision for automated attacks to management's attention
\BulletItem%
Helping define product vision and set priorities for attack platform
\BulletItem%
Integrated linters and autoformatters into the build process, reducing noise during code review
% there is also SimSpace.Lint.OpenImportWarnings, not really a large item, but
% it's a good story, and impact != time spent. Some people wanted warning free,
% some people couldn't live without warnings that sometimes had false
% positives. Was able to write a linter in only a few hours that gave us the
% best of both worlds

\GapNoBreak%

\JobHeading%
{\textbf{Microsoft}, Azure AD, \emph{Software Engineer II}}
{\DatestampYMD{2019}{8}{26} --- \DatestampYMD{2021}{5}{28}}
{Redmond, WA}
\BulletItem%
Member of Hybrid Authentication Team, which is responsible for critical hybrid
\BulletContinuation%
Azure AD authentication scenarios servicing >50 million MAU
% \BulletItem%
% Curate our team wiki, modernizing and contributing guides and documentation
\Hide{%
\BulletItem%
Participate in regular security and privacy reviews to ensure compliance
}
\BulletItem%
Drove an infrastructure redesign, moving to a declarative Kubernetes-like deployment technology
\BulletItem%
Coordinated team of 4 through a service's transition to general availability, throughout which we:
% in terms of coordination tasks I specifically:
% - held monthly retrospectives
% - tracked progress on work items
% - suggested relevant work items
\SubBulletItem%
Improved service availability from 1-2 nines to 4 nines over a 6 month period
% this was mostly accomplished through improving scalability, though we also
% made some improvements on account of fixing bugs and improving error
% handling
\SubBulletItem
Quintupled the service's scalability via a database schema redesign and autoscaling
% perhaps some other factors were relevant here too
\BulletItem%
Improved team efficiency by introducing a kanban board for tracking bugs and tasks, curating
\BulletContinuation%
the team wiki, and helping define the agenda for observability and reliability monitoring
\GapNoBreak%

\JobHeading%
{\textbf{Cornell University}, \emph{Teaching Assistant}}
{\DatestampYM{2016}{2} --- \DatestampYM{2019}{05}}
{Ithaca, NY}
\BulletItem
Courses ranging from introductory Object Oriented Programming to Formal
Verification
\BulletItem%
Taught and mentored students in weekly sections with up to 25 students
\Hide{%
\BulletItem%
Held weekly office hours to help students understand the course material
}
\BulletItem%
Answered students' questions on Piazza course platform, during office hours, and after class
\BulletItem%
Graded and contributed to the development of assignments and exams
\GapNoBreak%

\JobHeading%
{\textbf{Microsoft}, \emph{Software Engineering Intern}}
{\DatestampYMD{2018}{05}{29} --- \DatestampYMD{2018}{08}{17}}
{Redmond, WA}
\BulletItem%
Designed a microservice architecture for a new cloud service
\BulletItem%
Worked with team to determine what the service's critical features are
\BulletItem%
Implemented a prototype of the service using Microsoft Service Fabric and Azure
\GapNoBreak%

\JobHeading%
{\textbf{Itron Inc.}, \emph{Intern}}
{\DatestampYMD{2017}{06}{23} --- \DatestampYMD{2017}{08}{18}}
{Oconee, SC}
\BulletItem%
Created a dashboard to visualize available space for testing electrical meters
\BulletItem%
Utilized Transact-SQL to collect data for the dashboard
\BulletItem%
Built and deployed reports to Sharepoint using Microsoft Reporting Services

\Hide{%
\textbf{Research Assistant} at Clemson University
\hfill
\DatestampYMD{2015}{06}{15} --- \DatestampYMD{2016}{08}{15}
\BulletItem%
Tested the performance of MedusaLoop, a program that models protein loops
\BulletItem%
Analyzed test results to visualize performance
\BulletItem%
Wrote a daemon to dispatch jobs from a database to a server instance
\BulletItem%
Wrote back end code that interacted with a database to fetch and write new jobs
}

\section%
{Projects}
{Projects}
{PDF:Projects}

\textbf{Xi Compiler}, compiler for a simple C-like programming language
\BulletItem%
Collaborated with a group of 3 other students over the course of a semester
\BulletItem%
Implemented parser, type checker, optimizer, and x86 assembly code generation
\BulletItem%
Added object oriented features while maintaining backwards compatibility
\GapNoBreak%

\Hide{%
\href{https://github.com/lehmacdj/wiki-language-server}{\textbf{Wiki Language Server}},
Language server for zettlekasten-style interlinked markdown notes
\BulletItem%
Implement language server protocol
}

\Hide{%
\href{https://github.com/lehmacdj/graph}{\textbf{Graph System}},
Knowledge graph application
\BulletItem%
Primarily console application allowing filesystem like access to data stored in a graph structure
\BulletItem%
Extensively uses algebraic effects via polysemy library to make code more testable
\BulletItem%
Use GitHub Actions to ensure that test suite is run for all code changes
\Hide{%
\BulletItem%
Made several JSON schema migrations, requiring careful planning for backwards compatibility
}
\GapNoBreak%
}

\textbf{Open Source Contributions}
\BulletItem%
Submit pull requests and bug reports, contribute to feature discussions
\BulletItem%
Made git credential daemon conform to the XDG directory specification
\Hide{%
\BulletItem%
Contribute bug fixes and improvements to vim plugins
}
\BulletItem%
Add missing functionality and support for new versions of dependencies to libraries
% mostly in Haskell ecosystem, at least mono-traversable / classy-prelude,
% can't think of others right now; but also from time at SimSpace semver
% library support for parsing full node semver ranges, and ekg support for
% servant 0.19
\GapNoBreak%

\textbf{PortOS}, minimal operating system running on a MIPS virtual machine
\BulletItem%
Implemented multithreading with preemption and TCP and UDP protocol analogs
\BulletItem%
Learned how to navigate and write a moderately sized (10,000 lines) C code base
\GapNoBreak%

\Hide{%
\textbf{Interpreters}, interpreters and type checkers for variety of languages
\BulletItem%
a subset Scheme, System F, OCalf (a subset of OCaml), and several others
\BulletItem%
Learned how to write REPLs using Haskeline and implement parsers using megaparsec
\GapNoBreak%
}

\Hide{%
\textbf{Heaplib}
\BulletItem%
Implemented and tested malloc, free, and resize in C
\BulletItem%
Learned how to use raw pointers and the trade-offs involved with building
an allocator
\BulletItem%
Wrote a large number of tests to ensure that pointer arithmetic was correct
\GapNoBreak%
}

\Hide{%
\textbf{MIPS Processor}, CS 3410
\BulletItem%
Designed a MIPS processor in Logisim and tested it with programs written in
assembly
\BulletItem%
Learned how to decode binary MIPS instructions into control signals
\GapNoBreak%
}

\Hide{%
\textbf{OCaml Ed}, github.com/lehmacdj/ocaml-ed
\BulletItem%
Implementation of ed, the 1960s line editor, written using OCaml
\BulletItem%
Wrote clear error handling code that cleanly passes errors up to the top level
\GapNoBreak%
}

\Hide{%
\textbf{Life Simulator}, github.com/lehmacdj/simulation
\BulletItem%
Implemented the Game of Life and multicolor variants using Rust
\BulletItem%
Learned how to write memory safe code using Rust and generate png images
}

\section%
{Skills}
{Skills}
{PDF:Skills}

Fluent: C\#, Swift, Haskell, shell scripting, Git, Vim, (Postgre)SQL, JavaScript
\GapNoBreak%
Familiar: TypeScript, React, C, Kotlin, Java, Azure, Rust, Python, OCaml

\end{body}
\end{minipage}
\end{document}