X-Git-Url: https://git.shemshak.org/~bandali/cv/blobdiff_plain/f73e4e5eb42143cd6d69fc76e7d04a621d879a24..HEAD:/bandali-resume.tex

diff --git a/bandali-resume.tex b/bandali-resume.tex
index 41a3b2a..2cc374e 100644
--- a/bandali-resume.tex
+++ b/bandali-resume.tex
@@ -1,6 +1,6 @@
 % bandali-resume.tex --- bandali's rÃ©sumÃ© -*-latex-*-
 
-% Copyright (C) 2016-2020 Amin Bandali <bandali@uwaterloo.ca>
+% Copyright (C) 2016-2021 Amin Bandali <bandali@gnu.org>
 
 % This rÃ©sumÃ© is free software: you can redistribute it and/or modify
 % it under the terms of the GNU General Public License as published by
@@ -19,10 +19,10 @@
 \documentclass[letterpaper]{article}
 
 \def\name{Amin Bandali}
-\def\site{bndl.org}
+\def\site{shemshak.org/\string~bandali}
 \def\siteurl{https://\site}
 \def\pubs#1{\siteurl/publications\##1}
-\def\mail{bandali@uwaterloo.ca}
+\def\mail{bandali@gnu.org}
 \def\nday{https://cs.uwaterloo.ca/~nday/}
 
 %% package imports
@@ -41,9 +41,9 @@
   pdftitle={\name: RÃ©sumÃ©},
   pdfauthor={\name},
   pdfsubject={RÃ©sumÃ©},
-  pdfkeywords={formal methods, formal logic, model checking,
-    verification, type systems, interactive theorem provers,
-    functional programming, lean prover, haskell},
+  pdfkeywords={free software consultant, formal methods, formal logic,
+    model checking, verification, type systems, interactive theorem
+    provers, functional programming, haskell, lean prover},
   pdfpagemode=UseNone,
   pdfcreator={GNU Emacs 28.0.50},
   pdflang={English},
@@ -66,7 +66,7 @@
 \renewcommand\headrulewidth{0pt}
 \cfoot{%
   \textsc{\addfontfeature{Letters=UppercaseSmallCaps,LetterSpace=6.0}%
-    Bandali RÃ©sumÃ© \textemdash{} page \thepage{} of \pageref*{LastPage}}}
+    \small{}Bandali RÃ©sumÃ© \textemdash{} page \thepage{} of \pageref*{LastPage}}}
 
 %% body text font
 %% \usepackage[lining, tabular]{ebgaramond}
@@ -101,7 +101,7 @@
 \renewcommand{\today}{\ifcase \month \or January\or February\or March%
   \or April\or May \or June\or July\or August\or September\or October%
   \or November\or December\fi%
-\space \number \year}
+\number \year}
 
 %% various command definitions
 \newcommand{\tla}{TLA${}^+$}
@@ -121,8 +121,8 @@
 \section*{Summary of Qualifications}
 
 \begin{enumerate}[label=\raisebox{-0.9ex}{\LARGE\textbullet}]
-\item Experience with building software in diverse areas and for
-  various platforms, including GNU/Linux and Windows.
+\item Experience in building software for diverse areas and platforms
+  in various programming languages such as C, Python, and Haskell.
 \item Passionate about applying scientific and engineering methods
   while designing and building software systems.
 \item Using formal specification techniques to find
@@ -153,6 +153,24 @@
 
 \section*{Work Experience}
 
+\subsection*{Savoir-faire Linux}
+\begin{itemize}
+\item
+  \begin{description}[font=\mdseries]
+  \item[fall 2020--present] Free Software Consultant
+
+    I am part of the Jami core development team at Savoir-faire Linux,
+    where I work on various parts of Jami as a Free Software
+    Consultant.  These include working on and maintaining the
+    GTK+-based jami-gnome client application written in C++ and C, and
+    packaging Jami for various GNU/Linux distributions and other
+    platforms.  I also serve as a community liaison between the Jami
+    core team and the wider free software community around Jami, with
+    the goal of helping facilitate the communications and relations
+    between the two.
+  \end{description}
+\end{itemize}
+
 \subsection*{Free Software Foundation (FSF)}
 \begin{itemize}
 \item
@@ -262,8 +280,8 @@
 \section*{Skills}
 
 \begin{itemize}
-\item \textit{Programming Languages:} Haskell, Python, C, Emacs Lisp,
-  Guile Scheme, Eiffel, Bash, C\#, Java, JavaScript.
+\item \textit{Programming Languages:} C, C++, Haskell, Emacs Lisp,
+  Guile Scheme, Python, Eiffel, Bash, C\#, Java, JavaScript.
 \item \textit{Tools:} GNU Emacs, Git, Alloy, \tla, ProB, \LaTeX,
   continuous integration systems.
 \item \textit{Platforms:} GNU/Linux distributions, including Trisquel,
