London (or surrounding area, Cambridge); Full Time / Contract / Part Time Stack: Scheme, C, (Haskell); Perl has been my technology of choice in the past. Serve

London (or surrounding area, Cambridge); Full Time / Contract / Part Time Stack: Scheme, C, (Haskell); Perl has been my technology of choice in the past. Serverside / web / Gtk+. https://github.com/pflanze?tab=repositories https://github.com/pflanze?tab=repositories Resume: http://christianjaeger.ch/resume/ http://christianjaeger.ch/resume/ Contact: http://christianjaeger.ch/contact.html http://christianjaeger.ch/contact.html I've got 15 years of experience as a software developer. I'm always trying to find or use good abstractions. I've got rather extensive experience with functional and syntactical abstractions using Scheme, and am now increasingly interested in static program analysis and type systems. I'm interested in learning new programming languages like ATS, Idris, also Erlang, Clojure and Julia. I could see myself bring the most benefit in areas where special approaches need to be taken (security sensitive areas, perhaps high-performance computing, embedded devices).