I am an experienced software engineer who is familiar with the Java and XSL programming languages, and have a working knowledge of several others including Perl and the C family of languages. In addition to the software engineering, I have a mathematical background that includes both research into and the practical use of formal methods, such as CSP, Z, and UTP. Finally, having worked in the safety critical field for many years I have a good understanding of what is required for high integrity software systems.
D-Risq
-
Senior Software EngineerD-Risq Mar 2015 - PresentMalvern Hills Science Park, Geraldine Road, Malvern, Worcestershire, Wr14 3SzMy work at D-RisQ, a company that provides tools and consultancy for high integrity software, ranges from designing software architectures, to project support, research and development, and mentoring apprentices.
-
Senior Software EngineerDeltaxml Ltd Dec 2009 - Feb 2015Malvern Hills Science Park, Malvern, Uk.I worked as a senior software engineer in DeltaXML, a company that develops XML comparison products. My roles included: technical leadership; research; full life-cycle development; customer support; and systems administration. In particular, I was the technical lead for the development of their ‘DITA Compare’ document comparison product. -
Critical Software Systems ConsultantQinetiq 2005 - 2009Malvern Technology Centre, Malvern, Uk.My roles during this period of employment included: technical management; applied high integrity research; consultancy; and tool development. -
Critical Software Systems AnalystQinetiq 2001 - 2005Malvern Technology Centre, Malvern, Uk.My roles during this period of employment included: safety related project support; practical use of formal methods; and reviewing software engineering standards.
-
Higher Scientic OfficerDefence Evaluation And Reseaerch Agency 1996 - 2001Malvern Technology Centre, Malvern, Uk.My roles during this period of employment included: security vulnerability analysis; systems administration; and quality management.
-
Scientific OfficerDefence Research Agency 1993 - 1996Malvern Technology Centre, Malvern, Uk.My roles during this period of employment included: formal modelling; prototyping; and project administration.
(Michael) Anthony Smith Skills
(Michael) Anthony Smith Education Details
-
Computer Science -
Distinction
-
First Class
Frequently Asked Questions about (Michael) Anthony Smith
What company does (Michael) Anthony Smith work for?
(Michael) Anthony Smith works for D-Risq
What is (Michael) Anthony Smith's role at the current company?
(Michael) Anthony Smith's current role is Senior Software Engineer at D-RisQ.
What schools did (Michael) Anthony Smith attend?
(Michael) Anthony Smith attended University Of Oxford, University Of Oxford, Swansea University.
What skills is (Michael) Anthony Smith known for?
(Michael) Anthony Smith has skills like Xml, Java, Xsl, Software Engineering, Research, Computer Science, Formal Languages, Safety Critical Software, Software Development, Programming.
Not the (Michael) Anthony Smith you were looking for?
-
-
michael anthony smith
Beaverton, Or -
Michael Anthony Smith
34 Years On The Radio, Help Desk, Lead Generation And Inside SalesElizabethtown, Pa3weeu.com, gmail.com, iheartmedia.com2 +171757XXXXX
-
Anthony Michael Smith
Los Angeles Metropolitan Area4hotmail.com, itv-america.com, sony.com, sonyatv.com3 +160946XXXXX
Free Chrome Extension
Find emails, phones & company data instantly
Aero Online
Your AI prospecting assistant
Select data to include:
0 records × $0.02 per record
Download 750 million emails and 100 million phone numbers
Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.
Start your free trial