Tag-arkiv: Mälardalen University

Postdoc in Synthesis of Adaptive Cyber-Physical Systems

Ref 2021/2609

At Mälardalen University people meet who want to develop themselves and the future. We have 19 900 students reading courses and study programmes in Business and Economics, Health, Engineering and Education at our campuses in Eskilstuna and Västerås, or by distance. We conduct research within all fields of education and have internationally prominent research in Future Energy and Embedded Systems. Our close collaboration with the private and public sectors enable us at MDH to contribute towards the better health of people and towards a more sustainable planet.

At the School of Innovation, Design and Engineering our students are studying to be for example innovators, entrepreneurs, illustrators, communications officers, network technicians and engineers. Here we have the research specialisations of Embedded Systems, and Innovation and Product Realisation. Our work takes place in cooperation with and in strategic agreements with companies, organisations and public authorities in the region.

Employment information

Employment: Temporary employment, 2 years
Scope: Full time
Closing date for application: 2021-12-15
Campus location: Västeras
School: School of Innovation, Design and Engineering, (IDT)

Position description

The postdoc will take part in developing learning techniques for system synthesis and adaptation. We need adaptation strategies for distributed collaborative systems to be able to mitigate the attacks and hazards. Changes happen in the system and in the environment, and runtime adaptation is becoming crucial. Specification of the systems are not always completely clear, the PostDoc will work on learning approaches to build a model of a cyber-physical system and also look into adaptation strategies.

The position is a temporary employment of 2 years.

Qualifications requirements

The applicant is required to have a PhD degree in either Software Engineering, Computer Science, or similar.

The applicant must have completed the degree no more than three years before the end of the application period.

Specific requirements for the position include good knowledge of concurrency theory and formal methods.

The applicant should be fluent in English, both written and spoken.

Decisive importance is attached to personal suitability. We value the qualities that an even distribution of age and gender, as well as ethnic and cultural diversity, can contribute to the organisation. 

Merit

Qualifications that are considered to be a merit include knowledge of formal verification and synthesis, machine learning and automata learning. 

Application

Application is made online. Make your application by clicking the “Apply” button below.

The scientific publications that you do not have in digital form are to be sent by post to:

Mälardalen University
Division of Human Resources
Ref.no: 2021/2609
Box 883
721 23 Västerås

The applicant is responsible for ensuring that the application is complete in accordance with the advertisement and will reach the University no later than closing date for application.

We look forward to receiving your application.

We decline all contact with recruiters and salespersons of advertisements. We have made our strategic choices for this recruitment.

Contact person

Marjan Sirjani

+46 73 662 05 17

Susanne Meijer

Union representative (OFR)

+46 (0) 21 10 14 89

Michaël Le Duc

Union representative SACO

+46 (0) 21 10 14 02

URL to this page

Read the job description at the university homepage

Apply

Post expires on torsdag december 16th, 2021

Postdoc in Behavioural Software Engineering

Ref 2021/2608

At Mälardalen University people meet who want to develop themselves and the future. We have 19 900 students reading courses and study programmes in Business and Economics, Health, Engineering and Education at our campuses in Eskilstuna and Västerås, or by distance. We conduct research within all fields of education and have internationally prominent research in Future Energy and Embedded Systems. Our close collaboration with the private and public sectors enable us at MDH to contribute towards the better health of people and towards a more sustainable planet.

At the School of Innovation, Design and Engineering our students are studying to be for example innovators, entrepreneurs, illustrators, communications officers, network technicians and engineers. Here we have the research specialisations of Embedded Systems, and Innovation and Product Realisation. Our work takes place in cooperation with and in strategic agreements with companies, organisations and public authorities in the region.

Employment information

Employment: Temporary employment, 2 years
Scope: Full time
Closing date for application: 2021-12-15
Campus location: Västeras
School: School of Innovation, Design and Engineering, (IDT)

Position description

We are offering one or two postdoc positions in behavioural software engineering, focusing on gamification and/or behaviour-driven and emotional high-level language engineering. Details on the directions of investigation are provided below.

Software Engineering for Gamification: Gamification refers to the use of game elements in “serious” contexts, and in general it is applied whenever users’ engagement needs to be promoted and maintained over time. Indeed, gamification gained popularity in disparate scenarios, notably smart cities (mobility, environmental impact), health care, education. A critical concern of gamified applications is their adaptation to the, possibly evolving, users’ profiles and preferences, as well as the intended goals of the gamification itself. In this respect, gamification development is still a largely hand-craft effort, making it difficult to re-use, maintain, and adapt the developed solutions.

The postdoc will work on developing more rigorous software engineering approaches to the design and realisation of gamification applications. By adopting separation of concerns and domain-specific languages, different stakeholders can focus on their domain of expertise and work on a reduced/simplified sub-portion of the application. In turn, this enhances the chances of re-using parts of the solution as well as to maintain and adapt it to specific users and different contexts. The developed solutions will be empirically evaluated in industrially relevant case scenarios, notably the adoption and management of agile development teams, the education and training of employees to new technologies, business processes, and so forth. In this respect, we have several ongoing projects involving the training/learning of new design approaches, notably SACSys, AIDOaRt, and BUMBLE.

Behaviour-Driven and Emotional Engineering of Adaptive High-Level Languages: Software-intensive systems (SIS) are getting extremely complex, heterogeneous, and distributed. Every SIS is expected to be connected to multiple networks and to be able to effectively interact with theoretically any other SIS connected to the same networks. To develop software able to run on these systems, that span across several domains and whose engineering involve multiple stakeholders at many levels, strict and inflexible modelling and programming languages are not suited. To make different domain-specific languages to cooperate is often a challenge. To maximise the throughput of and communication betwen different stakeholders (even in the same domain) language concepts need to be engineered, rendered, edited and stored in user-specific ways.

The postdoc will work on an innovative way of engineering modelling and programming languages. By leveraging behaviour-driven and emotional engineering, the creation of a language will not anymore the work of a handful creative language engineering. It will instead be an iterative and end-user-driven process, where the language engineer provides a skeleton language. Starting from that, the interactions (behaviours) and reactions (emotions) of a set of expert end-users (a balanced set from academia and industry) exposed to the language set the path for the language’s evolution, under the supervision of the language engineer. The same approach will be embedded in the language itself to be able to adapt, mostly in terms of concrete syntax and to a certain extent, to specific user needs. The developed solutions will be empirically evaluated in industrial use cases from active industry-driven projects such as BUMBLE, HERO and MoDev.

The position is a temporary employment of 2 years.

Qualifications requirements

The applicant is required to have a PhD degree in Computer Science or similar. The applicant must have completed the degree no more than three years before the end of the application period.

Specific requirements for the position include excellent knowledge and skills in theoretical and practical software engineering (at least 60 ECTS in programming and software engineering) with particular emphasis on language engineering, modelling, as well as OO-programming.

The applicant should be fluent in English, both written and spoken. 

Decisive importance is attached to personal suitability. We value the qualities that an even distribution of age and gender, as well as ethnic and cultural diversity, can contribute to the organisation.

Merit

Qualifications that are considered to be a merit include knowledge on gamification, manipulation of software/system/data models, and model transformations. 

Application

Application is made online. Make your application by clicking the “Apply” button below.

The scientific publications that you do not have in digital form are to be sent by post to:

Mälardalen University
Division of Human Resources
Ref.no: 2021/2608
Box 883
721 23 Västerås

The applicant is responsible for ensuring that the application is complete in accordance with the advertisement and will reach the University no later than closing date for application.

We look forward to receiving your application.

Contact person

Federico Ciccozzi

Universitetslektor/ Senior Lecturer

021-101736

federico.ciccozzi@mdh.se

Antonio Cicchetti

Universitetslektor/Senior Lecturer

+46 (0) 73 960 72 15

antonio.cicchetti@mdh.se

Michaël Le Duc

Union representative SACO

+46 (0) 21 10 14 02

Susanne Meijer

Union representative (OFR)

+46 (0) 21 10 14 89

Read the job description at the university homepage

Apply

Post expires on torsdag december 16th, 2021

Multiple Postdoc Positions in Software Engineering focusing on (1) Software Testing or (2) Model-based Development

Ref 2021/2647

At Mälardalen University people meet who want to develop themselves and the future. We have 19 900 students reading courses and study programmes in Business and Economics, Health, Engineering and Education at our campuses in Eskilstuna and Västerås, or by distance. We conduct research within all fields of education and have internationally prominent research in Future Energy and Embedded Systems. Our close collaboration with the private and public sectors enable us at MDH to contribute towards the better health of people and towards a more sustainable planet.

At the School of Innovation, Design and Engineering our students are studying to be for example innovators, entrepreneurs, illustrators, communications officers, network technicians and engineers. Here we have the research specialisations of Embedded Systems, and Innovation and Product Realisation. Our work takes place in cooperation with and in strategic agreements with companies, organisations and public authorities in the region.

Employment information

Employment: Temporary employment, 2 years
Scope: Full time
Closing date for application: 2021-12-15
Campus location: Västeras
School: School of Innovation, Design and Engineering, (IDT)

Position description

We are offering multiple postdoc positions in software engineering on two topics: 1. Software Testing of Software Intensive Embedded Systems in Continuous Integration/DevOps; 2. Modeling of Software-Intensive Systems. Details on the directions of investigations are provided below. 

Software Testing of Software Intensive Embedded Systems in Continuous Integration/DevOps: The postdoc(s) will investigate contemporary as well as novel testing techniques (such as search-based software testing, metamorphic testing) in the context of development and operations of a typical embedded system software. With more and more embedded system companies embracing agile development methodologies, a particular emphasis of the investigations will be on automation of testing as well test selection and analysis of test results to provide feedback to earlier development phases. In this respect, the postdoc is expected to possess an understanding of different phases of a typical embedded system software, especially the different levels of testing and simulation, as well as some experience of improving testing techniques based on prior test executions or other forms of data. We also value some degree of industrial professional experience as the position is expected to include close collaboration with one or more embedded system companies in the region as well as some background in the application of artificial intelligence techniques. 

Agile Model Consistency and Synchronization: The postdoc will investigate challenges and develop solutions related to consistency between models and/or other development artefacts (including requirements, code, test cases, etc.) with the overall aim to facilitate more agile development of industrial systems. In order to reduce the development cycles for complex industrial systems, models and other development artefacts must be allowed to evolve concurrently, while ensuring sufficient degrees of consistency to avoid costly rollbacks at later stages. Where possible, automated propagation of changes between artefacts is preferred, but full automation is typically not possible or desired, but rather mechanisms providing adequate support for manual decision making, including identifying inconsistencies and proposing responses. To be practically applicable, however, such support mechanisms must be very lightweight and not introduce significant overhead.

Qualifications requirements

The applicant is required to have a PhD degree in Computer Science or similar.

The applicant must have completed the degree no more than three years before the end of the application period.

 Specific requirements for the individual positions include:

  • For both topics: Proficiency in programming & fluency in English both written and spoken.
  • For postdoc(s) in software testing: knowledge of software testing
  • For postdoc(s) in Agile Model Consistency and Synchronization: knowledge of model-based system/software engineering

Decisive importance is attached to personal suitability. We value the qualities that an even distribution of age and gender, as well as ethnic and cultural diversity, can contribute to the organisation. 

Merit

An understanding of industrial software development (e.g., through concrete industrial collaborations or experience), as well as knowledge of artificial intelligence techniques, data mining or machine learning algorithms. 

Application

Application is made online. Make your application by clicking the “Apply” button below.

The scientific publications that you do not have in digital form are to be sent by post to:

Mälardalen University
Division of Human Resources
Ref.no: 2021/2647
Box 883
721 23 Västerås

The applicant is responsible for ensuring that the application is complete in accordance with the advertisement and will reach the University no later than closing date for application.

We look forward to receiving your application.

We decline all contact with recruiters and salespersons of advertisements. We have made our strategic choices for this recruitment.

Contact person

Wasif Afzal

Software testing

+46 21 10 73 93

wasif.afzal@mdh.se

Jan Carlson

Agile Model Consistency and Synchronization

+46 21 15 17 22

jan.carlson@mdh.se

Susanne Meijer

Union representative (OFR)

+46 (0) 21 10 14 89

Michaël Le Duc

Union representative SACO

+46 (0) 21 10 14 02

Read the job description at the university homepage

Apply

Post expires on torsdag december 16th, 2021