Skills:
Computer languages: 80x86 assembly, Bash, C, C++, COBOL, Common Lisp, Coq, Forth, Haskell, HTML, Java, LaTeX, Perl, PostScript, SQL. Operating Systems: Android, Linux, Microsoft Windows. Software: Apache web server, Bazaar version control system, GNU development tool chain, Inkscape vector graphics editor, Iptables firewall utilities, Linux core utilities, Maxima computer algebra system, Microsoft Office, OpenOffice, Vim text editor. Understanding of theoretical and applied Mathematics and Computer Science. Knowledge of computer graphics techniques. Knowledge of computer networking. Ability to assemble and troubleshoot computer hardware. Understanding of IEEE floating-point arithmetic. Knowledge of technical writing. Knowledge of Open Source/Free Software practices and licensing.