Software Developer
Manchester, United Kingdom
I am a
software developer with five years of commercial experience particularly with .Net (C#, LINQ, WinForms, WPF), XML (XQuery,
... XSLT, Schema authoring and extension), C++ and IEC 61131-3 PLC programming languages for embedded control and safety systems. I have worked on enterprise web applications, the leading digital preservation system and integrated desktop tools in the demanding field of industrial Safety Instrumented Systems. In the area of safety systems, I have worked on developing new methodologies for the design, build and test of SIL 2 and 3 safety applications as well as the tools to support each stage. These tools included graphical editors for new languages, code generators, PLC emulation and HMI mockups. A dual aspect, in development of which I tool the technical lead, was that of managing functional safety as per IEC 61511. This involved graphical workflow editors integrated with the main engineering tools for putting down functional safety plans and providing both traceability and policy enforcement for the fulfilment of the engineering and supervisory tasks for the whole subsequent safety lifecycle. Consequently, I have developed expertise in a wide range of Business Process Modeling (BPM) and workflow management technologies. I am also well versed in functional and concurrent programming languages including Haskell, OCaml, Clean and OCCAM--CSP inspired languages such as occam-pi, Alef, Scala and XC, due to interest as a hobbyist and Oxford BA CompSci courses. I will take work ranging from new design and builds to enhancements, scripts and add-ons, in either case for web applications, WinForms or WPF applications, GNU--Linux tools and GUIs or core algorithms for workflow management, graph optimisation, compilation and translation and so on. I will be happy to discuss your aims and begin envisioning low-maintenance, highly-automated solutions with you.Skills:
.Net | AJAX | C | C# | C++ | Comet AJAX Push | CSP Communication Modelling | Data Modelling | Haskell | J2EE | Linux | Networking Infrastructure Win | ...OCaml
| Python
| Ruby
| Security Protocol
Analysis | ... SQL | Unix Shell | XML