Post Doc
Mälardalen University
Position description
The MoDev project aims at combining well-established software development paradigms to maximise the trade-off between three core aspects: variability, flexibility and agility. MoDev will provide methodological and technical solutions for the combination of Software Product Lines (SPLs), blended Model-based Development (MBD), and DevOps, with focus on early verification and validation (V&V). The solutions will be concretised into a prototype framework.
The postdoc researcher will focus on identify theories, methods and tools for blended and collaborative modelling, in terms of editing, visualization and synchronisation, of SPLs, and theories, methods and tools for continuous model-based development and analysis of product families. The position also involves teaching.
The postdoc will work with the project team in MoDev, but is expected to manage her/his duties independently.
Qualification requirements
The applicant is required to have a PhD degree in Computer Science or Computer/Software Engineering. The applicant must have completed the degree no more than three years before the end of the application period.
The applicants are required to possess a PhD degree in Computer Science and excellent knowledge and skills in theoretical and practical software engineering (at least 60 ECTS in programming, programming languages and software engineering) with particular emphasis on model-driven engineering, especially graphical and textual modelling, modelling and manipulation of software/system/data models, model transformations, as well as Java programming in the Eclipse platform.
Merit
Knowledge and experience with technologies related to the EAST-ADL, AUTOSAR, Eclipse Modeling Framework for modelling and manipulating models such as Acceleo, Xtend, Xtext, OCL, UML, Java, C++, JUnit, XML, are expected. Experience in teaching
Application
Application is made online.
Contact person
Alessio Bucaioni
Lecturer
+46736620711
alessio.bucaioni@mdh.se
Link:
https://web103.reachmee.com/ext/I018/1151/job?site=8&lang=UK&validator=2efd9e54ee423d53334ac7960e3b4e03&job_id=1179
Post-doctoral Fellow Position in Software Engineering and Technology for Smart Software System
Western Norway University
See the announcement link!
Link:
https://www.jobbnorge.no/en/available-jobs/job/207119/post-doctoral-fellow-position-in-software-engineering-and-technology-for-smart-software-system
Postdoc position on Software Engineering/Modeling and AI
NaoMod and GEODES teams
The NaoMod (LS2N, Nantes, France) and GEODES (Univ. de Montreal, Canada) teams are looking for a high-profile candidate combining Software Engineering and Machine Learning skills.
The 1-year postdoc position (1-year renewable) is available for doing research at the intersection of Artificial Intelligence and Software Architecture Evolution. It is funded by RFI Atlanstic 2020 and IVADO. The project aims at coupling re-modularization and clustering techniques with machine learning techniques, in order to converge "technical" groupings with a functional breakdown.
The selected candidate must start before 01/12/2021.
The general requirements for candidates are:
- A PhD in Computer Science or related areas obtained before the date of appointment (Dec. 1, 2021).
- Strong background in software engineering.
- An established research record
- Strong programming skills and prior experience on working with modern AI algorithms will be highly regarded.
- Good communication skills in English (both oral and writing).
Postdoc
Université Paris-Saclay, CEA, LIST
Sound Optimization Procedures for Runtime Assertion Checking
Link:
http://julien.signoles.free.fr/
Postdoc: Control Flow Integrity for Remote Attestation
Université Paris-Saclay, CEA, LIST
2-year postdoc position on Control Flow Integrity for Remote Attestation
Link:
http://julien.signoles.free.fr/
PhD: Outline Runtime Assertion Checking
Université Paris-Saclay, CEA, LIST
Open PhD on Outline Runtime Assertion Checking
Related Tool: Frama-C and E-ACSL
Link:
http://julien.signoles.free.fr/
Post-doc Position in AI for Continuous Software Engineering available at the University of L'Aquila (Italy)
University of L'Aquila
Estimated start date: September 1st, 2021
Type of contract: Fixed term contract for 12 months. The contract can
be renewed.
Gross salary: 32,000 EUR per Year.
The research will be done in the context of the ECSEL JU
European Project AIDOaRT (AI-augmented automation for efficient
DevOps, a model-based framework for continuous development At RunTime
in cyber-physical systems) project [2]. The main objectives of the
research will be the development of techniques and tools for
supporting the software and systems continuous engineering process of
Cyber-Physical Systems (CPSs). In particular, the AIDOaRt framework
aims at: (i) supporting the collection, representation and
traceability of runtime data (such as logs, events and metrics) and
software models, (ii) assisting in the analysis of both historical and
real-time data in combination with design information, and (iii)
enhancing the automation of the DevOps toolchain by integrating the
use of Artificial Intelligence (AI) techniques (notably, Machine
Learning) in multiple aspects of the development process (e.g.,
requirements support, monitoring, modelling, coding and testing
activities).
The candidates are expected to have a PhD degree in related fields and
good publication records. Experience in collaborative research
projects and in supervising masters and undergraduate students will
constitute a preferential element.
Prae-Doc / Project Assistant
Johannes Kepler University
Interested in Model Driven Engineering, DevOps, AI/ML, and their unexplored combination for AI-augmented, continuous engineering of Cyber Physical Systems? This job offer and the AIDOaRt European-funded project are what you are looking for.
Project Assistant (must hold a Diploma/Master’s degree) for a full-time,
one-year position (can be extended to three years) at the Institute of Business Informatics – Software Engineering
The Project AIDOaRt (AI-augmented DevOps, a model-based framework for continuous development At RunTime for CPSs) will investigate AI-augmented automation of software engineering activities, focussing on modeling, coding, testing, and monitoring as part of a continuous development in Cyber-Physical Systems (CPSs). The growing complexity of CPS poses several challenges throughout all software development and analysis phases, but also during their usage and maintenance.
The project targets the development of a model-based framework to support teams during the automated continuous development of CPSs by means of integrated AI-augmented solutions. The overall AIDOaRT infrastructure will work with existing data sources, including traditional IT monitoring, log events, along with software models and measurements.
Contact:
If you have questions, please contact: Univ. Prof. Mag. Dr. Manuel Wimmer, P +43 732 2468 4240, E mail: manuel.wimmer@jku.at and Dr. Luca Berardinelli, P +43 732 2468 4263, E mail: luca.berardinelli@jku.at.
Link:
https://se.jku.at/aidoart/
PhD and Post-doctoral positions at Inria / University of Rennes 1
Inria
We have several positions open in the DiverSE team (https://www.diverse-team.fr/). If you're looking for a position about MDE, AI, IDE and SLE... feel free to contact me!
Link:
https://people.irisa.fr/Benoit.Combemale/job/
Research Fellows (Singapore)
Singapore Management University
See: https://sav-smu.github.io/vacancies.html
Link:
https://sav-smu.github.io/vacancies.html
PhD position: Executable Modeling Languages
JKU Johannes Kepler University Linz
The Institute of Business Informatics - Software Engineering at the Johannes Kepler University Linz, Austria is pleased to announce the recruitment of 1 PhD position within the FWF-funded project LEA xDSML. LEA xDSML is a research project concerned with language engineering methods for executable modelling languages. Thus, LEA xDSML resides in the context of Model-Driven Engineering (MDE), which proposes the use of domain-specific modelling languages (DSMLs) to reduce the complexity associated with the development of complex software-intensive systems, as, for instance, found in the automation domain, production domain, and automotive domain.
The PhD candidates should have a Master degree in Computer Sciences, Information Engineering, Business Informatics or equivalent.
Applications will be accepted until July 15th, 2021. Position may be filled before the closing date.
Applications must include:
- A complete Curriculum Vitae that includes information on educational background, projects developed or contributed to (any links to software repositories), technical and non-technical skills, any publications/presentations, and any other relevant items.
- A motivation letter of two sides of A4 paper that includes a discussion how your background will help the development of better DSML tool support.
- Names and contact details of two referees.
- Degree certificates to date.
Optional skills:
- Experience with Eclipse IDE and Java programming language
- Meta-modelling experience with EMF
- Creation of graphical modelling editors: Sirius
These skills are not required to apply for the position!
Please send your application to office@se.jku.at
For further information please contact Prof. Manuel Wimmer at manuel.wimmer@jku.at or Antonio Garmendia at antonio.garmendia@jku.at
Link:
https://se.jku.at/
PhD position - Engineering of executable Modelling Languages - LEA xDSML project - JKU Linz Austria-
Johannes Kepler University
The Institute of Business Informatics - Software Engineering at the Johannes Kepler University Linz, Austria is pleased to announce the recruitment of 1 PhD position within the FWF-funded project LEA
xDSML. LEA xDSML is a research project concerned with language engineering methods for executable modelling languages. Thus, LEA xDSML resides in the context of Model-Driven Engineering (MDE), which proposes the use of domain-specific modelling languages (DSMLs) to reduce the complexity associated with the development of complex software-intensive systems, as, for instance, found in the automation domain, production domain, and automotive domain.
The PhD candidates should have a Master degree in Computer Sciences, Information Engineering,
Business Informatics or equivalent.
Applications will be accepted until X. Position may be filled before the closing date.
Applications must include:
- A complete Curriculum Vitae that includes information on educational background, projects
developed or contributed to (any links to software repositories), technical and non-technical skills,
any publications/presentations, and any other relevant items.
- A motivation letter of two sides of A4 paper that includes a discussion how your background will
help the development of better DSML tool support.
- Names and contact details of two referees.
- Degree certificates to date.
Optional skills:
- Experience with Eclipse IDE and Java programming language
- Meta-modelling experience with EMF
- Creation of graphical modelling editors: Sirius
These skills are not required to apply for the position!
Please send your application to office@se.jku.at
For further information please contact Prof. Manuel Wimmer at manuel.wimmer@jku.at or Antonio
Garmendia at antonio.garmendia@jku.at
PhD position on Multilevel Modeling for Subsurface Engineering - TransIT project - JKU Linz Austria-
Johannes Kepler University
The Institute of Business Informatics - Software Engineering at the Johannes Kepler University Linz, Austria is pleased to announce the recruitment of 1 PhD position within the project TransIT funded by the Austrian Federal Ministry of Education, Science and Research.
TransIT is a research project concerned with the development of a shared platform for describing and managing heterogeneous artifacts used in the domain of subsurface engineering using process modeling and multilevel-modeling methods. TransIT, therefore, resides in the domain of Model-Driven Engineering (MDE), emphasizing the use of modeling techniques, domain-specific modeling languages, and model to code transformation.
The PhD candidates should hold a Master's Degree in Computer Sciences, Information Engineering, Business Informatics, or equivalent.
For further information please visit the project website: https://www.tunnellinghub.at and https://se.jku.at/transit,
or contact Prof. Manuel Wimmer (manuel.wimmer@jku.at) or Michael Vierhauser (michael.vierhauser@jku.at)
