+<dt>Free Software Foundation (FSF)</dt>
+<dd>spring 2020 | Intern</dd>
+<dd>
+<dl>
+<dd>Working with the FSF tech team in a sysadmin role on a variety of
+tasks including installation of the Sourcehut free software forge on
+the FSF infrastructure for evaluation for the FSF forge project, as
+well as a series of enhancements
+for <a href="https://www.gnu.org">www.gnu.org</a>.</dd>
+</dl>
+</dd>
+
+<dt>Cheriton School of Science, University of Waterloo</dt>
+<dd>winter 2018–spring 2020 | TA, IA, RA <sup>[*]</sup></dd>
+<dd>
+<dl>
+<dd>SE 465 (Software Testing and Quality Assurance): TA in winter
+2020</dd>
+<dd>SE 212 (Logic and Computation):
+<a href="teaching/se212-f19.html">IA in Fall 2019</a>, TA in fall
+2018</dd>
+<dd>SE 463 (Software Requirement Specification and Analysis): TA in
+spring 2019 and 2018</dd>
+<dd>CS 136 (Elementary Algorithm Design and Data Abstraction): TA in
+winter 2018</dd>
+</dl>
+</dd>
+<dd><small>[*] Teaching Assistant (marking exams and assignments),
+Instructional Apprentice (holding tutorials and marking), Research
+Assistant (doing research for/with supervisor)</small></dd>
+
+<dt>Department of Electrical Engineering & Computer Science, York
+University</dt>
+<dd>fall 2017 | Teaching Assistant</dd>
+<dd>
+<dl>
+<dd>EECS 1012 (Net-Centric Introduction to Computing): TA in fall
+2017, running labs and marking labs and exams</dd>
+</dl>
+</dd>
+
+<dt>Software Engineering Lab, York University</dt>
+<dd>
+<dl>
+<dt>summer 2017 | Research Assistant</dt>
+<dd>Worked on an implementation
+of <a href="https://bertrandmeyer.com/2014/12/07/lampsort/">Lampsort</a>
+in Eiffel. Extended
+the <a href="https://svn.eecs.yorku.ca/repos/sel-open/mathmodels/">mathmodels</a>
+library, implementing a <code>rational</code> class for working with
+arbitrarily large rational numbers.</dd>
+</dl>
+</dd>
+<dd>
+<dl>
+<dt>summer 2016 | Research Student</dt>
+<dd>Worked on <em>Literate Unit-B</em>, the verifier for Unit-B, a new
+formal method focused on formal verification of reactive, concurrent,
+and distributed systems. From the Literate Unit-B codebase (written
+in Haskell), decoupled the logic module and used it to build
+<em>Unit-B Web</em>, a web interface using Literate Unit-B to do
+predicate calculus proofs. Unit-B Web, also written in Haskell,
+supports the <span class="tex">L<sup>a</sup>T<sub>e</sub>X</span>
+syntax of the Unit-B logic, renders user input on the page, and calls
+the sequent prover of the logic module, which uses the Z3 SMT solver
+to check the validity of user input.</dd>
+<dd>Separated Literate Unit-B's type checker from its parser in a
+large refactoring, allowing easier substitution of other type checking
+algorithms, and in preparation for implementing subtyping.</dd>
+</dl>
+</dd>
+
+<dt>Lotek Wireless Inc.</dt>
+<dd>
+<dl>
+<dt>summer 2016 | Software Developer</dt>
+<dd>Designed and developed an Employee Portal web application in C#
+and the MVC framework, used by employees for accessing various data
+catalogs and archives.</dd>
+</dl>
+</dd>
+<dd>
+<dl>
+<dt>summer 2015 | Computer Programmer</dt>
+<dd>Designed and implemented various applications in C# and C for
+analyzing and testing a satellite pass prediction algorithm for
+predicting the pass windows of Argos satellites, for scheduling send
+times of data collected by the company's wildlife tracking
+products.</dd>
+</dl>
+</dd>
+
+<dt>Athlete Builder</dt>
+<dd>
+<dl>
+<dt>2013–2014 | Software Developer</dt>
+<dd>Developed the Backend of Athlete Builder platform in C# and
+MVC.</dd>
+<dd>Key role in development of the platform core.</dd>
+<dd>Developed the alpha version of Athlete Builder Android application
+in Java.</dd>
+</dl>
+</dd>
+</dl>
+
+<h2>Skills</h2>
+<dl>
+<dt>Programming languages</dt>
+<dd>C, C++, Haskell, Emacs Lisp, Guile Scheme, Python, Eiffel, Bash,
+C#, Java, JavaScript</dd>
+<dt>Tools</dt>
+<dd>GNU Emacs, Git, Alloy, TLA<sup>+</sup>,
+ProB, <span class="tex">L<sup>a</sup>T<sub>e</sub>X</span>, continuous
+integration systems</dd>
+<dt>Platforms</dt>
+<dd>GNU/Linux distributions, including Trisquel, GNU Guix, Debian</dd>
+<dt>Languages</dt>
+<dd>Persian (mother tongue), English (native proficiency; IELTS: 9.0),
+French (beginner)</dd>
+</dl>
projects / ~bandali / bndl.org / blobdiff