R&D Consultant in Rigorous Digital Engineering
Galois, Inc. (U.S.)
(Telecommunications, 50-250 employees)
Keywords
Skills
Research and Innovation:
- 13 publications in prestigious CS journals and 26 refereed publications in high-quality international academic conferences in the area of formal methods and theoretical computing (see: https://dblp.org/pid/23/6727.html);
- research focus on safety-critical systems, program analysis, theorem proving, and programming language semantics;
- extensive contributions in the area of novel verification methods and mechanising verification languages in theorem provers, including modelling and verification of cyber-physical systems;
- hands-on experience in applying model-based testing techniques to large-scale industrial projects in the avionics sector;
- development of tools for automatic generation of formal models i.e. from Simulink and Safety-Critical Java (SCJ) descriptions.
- excellent knowledge of object-oriented and functional programming; teaching of programming paradigms to CS students at a Russell-Group UK institution (University of York);
- fluent in programming in Java, C/C++, Python and ML (functional language);
- acquainted with a plethora of other languages including C#, Ada, MATLAB & Simulink, and core principles of low-level machine language;
- good working knowledge in embedded systems development on micro-controller and, to some extent, SoC/FPGA systems (e.g. NIOS); practical experience in using the hardware description languages Verilog and VHDL;
- expert knowledge in productivity tools for software development under Linux, including bash scripting, build tools, Git, Docker, and so on;
- industrial modelling experience in UML / SysML and deep knowledge of formal specification notations and their use in safety-critical systems engineering, including Z, CSP, and the B Method;
- proven work experience in industrial-level software testing and underlying methods and tools; this includes model-based testing and WCET analysis; ISTQB certified tester.
- delivery of modules at Higher-Education institutions in the UK;
- teaching of computer-science subjects across the board at both BSc and MSc level;
- supervision of MSc and co-supervision of PhD students;
- Post-graduate Certificate in Learning and Teaching in Higher Education (PgCLTHE);
- serving on the programme committee of several international conferences and workshops, as well as reviewing papers for high-quality CS journals;
- assessment of grant applications e.g. for the Austrian Science Foundation (FWF).
- responsibility for managing and carrying out work on a number of successful research projects, both in academic (EPSRC, UK) and industry (Horizon 2020, EU);
- leadership of the Formal Methods & Programming Research Group at Teesside University (UK);
- conducting student interviews of undergraduate applicants and serving on the interview panel for prospective doctoral students on several occasions;
- contributing to curriculum development and marketing events at Teesside University (UK);
- QA responsibilities on client projects at Verified Systems, Germany.
Project history
06/2022
-
Present
01/2022
-
05/2022
Software Testing & Verification Engineer (R&D)
Verified Systems International GmbH (Germany)
(Telecommunications, 10-50 employees)
07/2018
-
12/2021
Software Testing & Verification Engineer (Avionics Domain)
Verified Systems International GmbH
(Internet and Information Technology, 10-50 employees)
- Development and adaptation of software and system specifications for the realisation of automated tests, with primary focus on model-based testing.
- Responsibility for leading Verified's contribution and work for the HUBCAP (Digital Innovation Hubs and Collaborative Platform for Cyber-Physical Systems) research project, being funded by the European Commission (https://cordis.europa.eu/project/id/872698).
- Verification and validation of hardware and software systems, in particular the cabin-monitoring system of the Airbus family of aircraft.
- Contribution to the development of in-house tools for automated testing.
01/2018
-
06/2018
University Lecturer (Teaching & Scholarship) in Computer Science
Univeristy of York (UK)
(Public service, 1000-5000 employees)
- Delivery of the Principles of Programming Languages (POPL) module, Part II (concurrency).
- Supporting the department in marking of the Systems (SYST) module.
- Publication of INTO-CPS deliverables D2.3a and D2.3c in high-quality journals.
- Work on research funding proposals in the area of autonomous intelligent robotics and block-chain technology.
- Supervision of student projects and student mentoring, as well as marking of masters theses.
11/2016
-
12/2017
Research Fellow: Formal Verification of Cyber-physical Systems (Horizon 2020/EC grant 644047)
Univeristy of York (UK)
(Public service, 1000-5000 employees)
- Mechanisation of INTO-CPS case studies in Isabelle/UTP, in particular, from the railways domain. Isabelle/UTP is a purpose-built theorem prover for reasoning about multi-paradigm languages that I kickstarted and co-developed at the University of York. It is founded on Tony Hoare's UTP and extends the Isabelle/HOL proof assistant.
- Development of a suitable modelling and verification strategy for FMI cosimulations of cyber-physical systems.
- Contributing to the development of theorem-proving support for cyber-physical systems in Isabelle/UTP, with specific focus on cosimulation and Circus.
- Mentoring duties and taking on an active role in research leadership.
- Dissemination of knowledge and tools related to work-package 2 (WP2) of the INTO-CPS project, as well as publication of results in reputable venues. This, in particular, included the presentation of technical results of work-package 2 at the final INTO-CPS review meeting in Brussels in February 2018. The project was a notable success.
- Working with industrial partners and collaborators of the INTO-CPS project, in particular, ClearSy in France.
10/2014
-
11/2016
Senior Research Lecturer in Computer Science
Tesside University (UK)
(Public service, 1000-5000 employees)
- Delivery of lectures and practical classes at all levels.
- Supervision of masters and PhD students.
- Research and scholarly activity contributing to the upcoming Research Excellence Framework (REF 2014).
- Leadership of the Tessside Formal Methods & Programming Research Group.
- Contribution to curriculum development and module content.
- External activities such as open days, interviewing prospective students, and facilitating events for marketing new degree programmes.
07/2010
-
10/2014
Senior Researcher on the "High-integrity Java Applications using Circus" EPSRC/UK Research Project (EP/E025366/1)
University of York (UK)
(Public service, 1000-5000 employees)
- Taking on an active role in guiding the research for this projects. This also involved mentoring other post-doctoral researchers and PhD students.
- Development of novel verification strategies and techniques for Safety-Critical Java (SCJ) and their implementation in automatic proof assistants such as Isabelle/HOL and ProofPower-Z.
- Publishing original work at premium international conferences and in high-quality journals in the field of formal methods and theoretical computing.
- Delivering industrial seminars and workshops to disseminate results and newly-developed tools, and engaging with industrial collaborators.
- Supervision of masters’ theses that contributed to the EPSRC project. This has, in several cases, led to conference and journal publications.
07/2007
-
07/2010
Research Associate on the "Programming from Control Laws" EPSRC/UK Research Project (EP/E025366/1)
University of York (UK)
(Public service, 1000-5000 employees)
- Taking on an active role in guiding the research for this projects. This also involved mentoring other post-doctoral researchers and PhD students.
- Development of novel verification strategies and techniques for Simulink control systems and their implementation in automatic proof assistants such as Isabelle/HOL and ProofPower-Z.
- Publishing original work at premium international conferences and in high-quality journals in the field of formal methods and theoretical computing.
- Delivering industrial seminars and workshops to disseminate results and newly-developed tools, and engaging with industrial collaborators.
- Supervision of masters’ theses that contributed to the EPSRC project. This has, in several cases, led to conference and journal publications.
10/2001
-
03/2007
Part-time Lecturer in Computer Science
Teesside University (UK)
(Public service, 1000-5000 employees)
The work was typically with a load between 6 and 12 hours per week during the semester and entailed:
- Delivery of seminars and practical classes at BSc and MSc level.
- Delivery of lectures up to final-year BSc level, including UCPD courses.
- Full module responsibility in several cases, namely for Operating Systems II, Windows GUI Programming in C#, and Java Programming (UCPD). This required the production of lecture notes and tutorial material, setting of exams, and marking.
- Proposal, supervision and marking of approximately eight final-year undergraduate degree student projects in a variety of subject areas.
- Acting as a second examiner on various modules and final-year projects.
02/1999
-
04/2000
Student Software Developer (C++ & VB Macros)
Siemens Mobility Braunschweig (Germany)
(Telecommunications, >10.000 employees)
This work primarily consisted of maintaining and improving a simulation tool ILSIM for physical railway interlockings. The tool was used to test and validate a commercial control and display software for trains (OC100). The work entailed object-oriented software design and development in C++ under Visual Studio 6.0. Other duties included the creation of a test suite for year-2000 compliance and VB macros for the automatic generation of software metrics.
I received a bonus payment of 1,000 € from Siemens in July 2000 for 'exceptional contributions on the simulator tool ILSIM' upon leaving the company for my ERASMUS studies abroad.
I received a bonus payment of 1,000 € from Siemens in July 2000 for 'exceptional contributions on the simulator tool ILSIM' upon leaving the company for my ERASMUS studies abroad.
Local Availability
Open to travel worldwide
Other
I hold a (temporary) residency with working permission in Mexico, so am fully legal living and working there, as well as orderly paying my taxes. Due to exporting digital services, I do not charge VAT to clients. The recipient of the services i.e. in Europe/Germany may, however, have to pay VAT to the respective inland revenue, according to the EU reverse-charge procedure.
