Project Background: In the Confirm research centre on Smart Manufacturing as well as in Industry 4.0 in general, a Digital Thread connects the data and processes for smarter products, smarter production, and smarter integrated ecosystems. While the tangible goods (products and production lines) are understood as needing a Digital Twin as an executable model, i.e. an in-silico entity on which to virtually explore design, production, quality, and lifetime maintenance, the immaterial goods like software and analytics artefacts are not yet treated on par.
For this new paradigm to enter mainstream, models need to be coupled with automatic transformations, generations, and analyses that take advantage of the formalized knowledge about the immaterial and material entities. This formalized knowledge includes a variety of models together with Domain Specific Languages that use semantic types at their core.
In this project, we build demonstrators of how the new thinking can disrupt the status quo but empower a better understanding, a more efficient organization, and a more automatic management of the many cross-dimensional issues that future connected software and systems will depend upon.
Research Summary: The objective of this specific work is to develop a service-oriented Domain Specific Language in the context of the Manufacturing Analytics Cockpit demonstrator currently under development. The DSL is the basis for the design of the processes and workflows in the Cockpit, concerning its normal functioning mode, the detection of failures and the design of countermeasures, and of a library of templates for safety-constraints and requirements for the safety and security of industrial control networks and systems it addresses.
Faculty: Science & Engineering: CONFIRM Centre for Smart Manufacturing
Entry Requirements: Essential attributes: Honours undergraduate (level 8) degree, Master’s degree, or equivalent, in a field related to the project, such as computer science, engineering.
We require persons with expertise in programming (in particular the ability to program in Java, C or similar languages), compilers and their use, information modelling, use of models in software design, and good interpersonal skills. Knowledge of logic or knowledge representation formalisms and previous project experience are desirable skills.
Funding/Stipend: SFI PhD Stipend of €18,500 tax-free per annum, EU tuition fees covered up to €5,500 p.a., non-EU students may have to pay balance of full fees.
Closing Date: Rolling deadline until position is filled.
Contact & How to apply: Please send your CV/Resume with the ID REF# C-PHD-26, transcript of records, and a cover letter in support of these requirements and including the name of 2 references with full contact information to firstname.lastname@example.org