From 21c77b34c26de753bf8acbda7a9e9771777d745a Mon Sep 17 00:00:00 2001 From: Julian Blake Kongslie Date: Tue, 7 May 2013 00:11:19 -0700 Subject: Adding a few more keywords. --- cv.latex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'cv.latex') diff --git a/cv.latex b/cv.latex index 1102e67..d8a3501 100644 --- a/cv.latex +++ b/cv.latex @@ -21,9 +21,9 @@ \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{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. I've built systems that interoperate using OpenID and SAML.} \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{Database Programming}{PostgreSQL, Oracle}{}{}{}{I've worked professionally with large replicated databases and PostGIS. 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.} -- cgit v1.2.3