Long-overdue update to résumé. main
authorAmin Bandali <bandali@gnu.org>
Tue, 4 May 2021 03:53:10 +0000 (23:53 -0400)
committerAmin Bandali <bandali@gnu.org>
Tue, 4 May 2021 03:53:10 +0000 (23:53 -0400)
bandali-resume.tex

index 8e336d7..2cc374e 100644 (file)
@@ -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
 \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},
 \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${}^+$}
 \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
 
 \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
 \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,