1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
\documentclass[letterpaper]{moderncv}
\usepackage{bookmark}
\usepackage[scale=0.8]{geometry}
\usepackage[utf8]{inputenc}
\moderncvstyle{casual}
\moderncvcolor{blue}
\firstname{Julian Blake}
\familyname{Kongslie}
\address{16905 NW Joscelyn St}{Beaverton, OR 97006-4765}
\mobile{+1~503.840.2206}
\email{jblake@omgwallhack.org}
%\homepage{https://github.com/jblake/}
\begin{document}
\makecvtitle
\section{Computer Skills}
\cventry{Functional Programming}{Haskell, ML, Scheme}{}{}{}{Extensive experience and expertise with functional programming languages. I have maintained libraries, built DSLs, implemented compilers, and taught classes.}
\cventry{Web Programming}{Perl, Python, Ruby}{}{}{}{I have built and maintained professional web storefronts with both mod\_perl and rails. I have worked extensively with middleware such as XML and XSLT, and while I'm no designer, I know my way around HTML, CSS, and JavaScript. I've used jQuery, bootstrap, and YUI.}
\cventry{Systems Programming}{C, C++}{}{}{}{I understand threading models and can program embedded systems. I've written a hobby operating system that implemented POSIX, and I've worked on high-performance computing. I know enough C++ to be dangerous, and I'm not afraid of templates or the STL.}
\cventry{Database Programming}{PostgreSQL, Oracle}{}{}{}{I've worked professionally with large replicated databases. I understand data normalization and I've optimized queries for billion-row tables.}
\cventry{Formal Correctness}{Coq, Agda, Z}{}{}{}{I can write code that is provably bug-free, and I know when it's appropriate to do so. I've given lectures on dependent typing and correct-by-construction programming. I am also familiar with security analysis of cryptographic protocols and have worked on a team to verify the correctness of a custom protocol.}
\cventry{Processes and Methodologies}{TDD, Agile, Waterfall}{}{}{}{I can do test-driven-development, I've worked with Agile teams, and I've worked with Waterfall teams. I work well in a group of developers, but I can also get a job done on my own if I need to.}
\cventry{System Administration}{Linux, Debian, Ubuntu}{}{}{}{I can maintain Linux systems, and build dev/test/prod environments and keep them in sync. I've built and maintained Debian packages professionally for software deployment both internally and to external customers. I've run Debian mirrors and buildds.}
\cventry{Statistics and Analysis}{Performance, Data Collection}{}{}{}{I'm a trained mathematician and I can design well-founded experiments to identify performance bottlenecks. I know how to do data collection, and I can work fluently with large data sets in R, Matlab, Octave, and Mathematica.}
\cventry{Embedded Systems}{FPGAs, Microcontrollers}{}{}{}{I've designed and deployed FPGAs to solve high-performance problems such as real-time signal filtering. I can write bare-metal programs to run on embedded systems and microcontrollers.}
\cventry{Source Control}{Git, Mercurial, Darcs, SVN}{}{}{}{All my code lives in source control; I'm familiar with several systems both conventional and distributed.}
\cventry{Working Environments}{Linux, MacOS, Windows}{}{}{}{While I'm most comfortable in a Debian operating system, I can work effectively in any of the three major OSes.}
\section{Professional Experience}
\cventry{Cascadia}{Senior Programmer}{}{}{}{I have spent most of my professional career working in web development for Cascadia, a company which specialized in building and maintaining storefronts for small businesses. I have extensive experience in maintaining and designing these systems, at all levels of the stack including system administration, database maintenance, backend and frontend programming, and POS systems.}
\cventry{TOVA}{Programmer}{}{}{}{For TOVA I managed package creation and deployment, as well as worked on a team to verify the correctness of the licensing crypto protocol. I did a small amount of work on their internal wikis and bug tracking systems.}
\cventry{Rockwell Collins}{Consultant}{}{}{}{Consulting work as a mathematician, building software to identify flaws in their manufacturing processes, as well as importing data into SolidWorks for accurate modeling of their finished products.}
\cventry{FlightGear}{Consultant}{}{}{}{Building and testing embedded systems for realtime instrumentation of flight data. Produced formally-correct and verified code as well as an extensive testing framework.}
\cventry{Portland State University}{Researcher}{}{}{}{I have done academic research at Portland State University on software defined radio systems, control systems for rockets, novel computational architectures, and applications of functional programming and formal correctness to modern systems.}
\cventry{FEI}{Intern}{}{}{}{I worked at FEI building software for their internal website and fault control systems, as well as statistical fault analysis. In an emergency, I can build an electron microscope from scratch.}
\cventry{Intel}{Intern}{}{}{}{While in high school I interned at Intel, working primarily as a web developer and technical writer to update documentation and product manuals.}
\section{Amateur Experience}
\cvitem{Web Applications}{I've built a number of web applications for my personal use and to stay current with the latest frameworks and technologies.}
\cvitem{Electronics}{I frequently toy with hobby electronics; most recently, I've been building a mesh of wireless sensor nodes to track the temperature and rainfall in my yard.}
\cvitem{Type Theory}{Much of my spare time is spent playing with new abstractions and ideas in type theory, trying to learn and build new techniques in typed programming.}
\section{Hobbies and Interests}
\cvitem{Music}{I'm an accomplished pianist, I've played concert hall pipe organs, and I occasionally compose short little ditties.}
\cvitem{Writing}{I love to read, and in my spare time I work on short stories which are far too unrefined to be publishable.}
\cvitem{Hiking and Camping}{I regularly go on short camping trips and day hikes around Oregon.}
\cvitem{Kayaking and Sailing}{I can operate a one-man sailboat, and I love to race kayaks.}
\end{document}
|
