Logotype Mälardalenn University

Open Positions

Mälardalen University is an expansive university with a strong focus on engineering, and the School of Innovation, Design and Engineering is a research intensive environment with strong focus on Embedded systems, Real-time systems and Software Engineering





The Swedish national strategic research centre on embedded software PROGRESS, hosted by Mälardalen University in Västerås, Sweden, is offering excellent career opportunities for top-talents by providing

4 one year
post doctoral research fellowships

-with possible extension to two years

Selected candidates will be provided a customized package, which based on personal preferences and career needs will include a selection of the following:

  • Research within PROGRESS.
  • Continuation of current research.
  • Supervision of master and PhD students.
  • Involvement in teaching on undergraduate, master, or PhD level.
  • A post-doctoral career programme, including training in supervision and other essential skills for an academic career.
  • Industrial contacts and participation in industrial cooperation projects.
  • Participation in international research projects.

The tax-exempt fellowship is in the range of k€ 25-30 per annum. Additional benefits include a roundtrip ticket to Västerås, funding of at least 4 conference trips, health insurance, and support to find accommodation etc.

Earliest starting date: As soon as possible

Deadline for submissions: March 15, 2010 (cut-off date; submissions received after that date are welcome and will be considered as long as there are fellowships available)

Required qualifications: PhD in Computer Science, Software Engineering, or Computer Engineering (or equivalent) and proven research excellence in at least one of the areas listed below.











































Applications:

Submit your application
electronically here.

The application should include the following:

  1. CV,
  2. Contact information for 2-3 reference persons;
  3. List of publications
  4. 1-2 page overview of research achievements and plan
  5. 1 page statement/motivation of why you want join PROGRESS as a postdoc,
  6. Information about which research direction(s) you are primarily interested in
  7. 1 page statement of career plans, including preferred elements in the customized postdoc package
  8. Your two most relevant conference or journal publications (in full-text).

















Research areas

Prospective candidates should have a proven track record related to one of the following research directions:

NEW!
Architecture-Based Verification
This research direction focuses on the design and verification lifecycle phases of software-intensive systems development. The research trajectories in this area target combining algorithm and tool development to support architecture-based verification, along with validation through industrial case studies. The post-doctoral fellow will work closely with senior faculty and researchers to extend and expand upon existing work to create a complete tool-supported environment that provides traceability and verifiability. Furthermore, the research will involve close collaboration with industrial partners and other researchers involved in the PROGRESS center.

Principal Investigator: Prof. Kristina Lundqvist
Additional info: kristina.lundqvist@mdh.se

Dependability
This research direction focuses on techniques for analyzing and ensuring dependability of component based real-time systems. Current research themes include architecture-based reliability prediction, fault-tolerant scheduling and novel redundancy schemes to ensure time and value correctness. We are interested in applicants having knowledge of dependable systems design with specific research interest in end-to-end error models and analysis of their impacts on dependability attributes of component-based systems.

Principal Investigator: Prof. Sasikumar Punnekkat
Additional info: sasikumar.punnekkat@mdh.se

Component Model
This research direction has the main responsibility for developing ProCom, the component model to which all PROGRESS activities are linked. ProCom is specifically designed to address the particularities of distributed embedded systems, such as resource limitations and requirements on safety and timeliness. Prospective candidates are expected to contribute to further development of ProCom w.r.t., e.g., contract-based interfaces, domain-specific modelling and its transformation to standard modelling languages, integration with model-based development, and component compositions.

Principal investigators: Prof. Ivica Crnkovic/Dr. Jan Carlson
Additional info: ivica.crnkovic@mdh.se

Formal Modelling and Analysis
This research direction works in the area of formal models, analysis techniques, and tools for verification of embedded systems. In particular, we focus on modelling of embedded resources, such as storage, energy, computation, communication, etc, and related analysis problems including feasibility, optimality, and trade-offs. Tool support is developed based on our existing tools, including UPPAAL. We are looking to recruit a postdoc with background in formal modelling and verification techniques, ideally with knowledge in timed or embedded systems.

Principal investigator: Prof. Paul Pettersson
Additional info: paul.pettersson@mdh.se

Timing Analysis
This research direction deals with code-level timing analysis techniques for components and component-based systems, mainly Worst-Case Execution Time (WCET) analysis. We consider analysis of components in isolation, as well as composable analysis of component-based systems. We mainly want applicants with a strong background in WCET analysis or static program analysis. Applicants with a different background may be considered if their competence can be applied within the research direction in creative ways.

Principal investigators: Prof. Björn Lisper/Assoc. Prof. Andreas Ermedahl
Additional info: bjorn.lisper@mdh.se

Deployment
This research direction provides mappings and translations from the software design to executing code on particular target platforms. One of the main challenges is to provide a predictable mapping, so that properties established during the predictability assurance are maintained during translation to target code. Successful applicants likely have an interest in, and understanding of: model transformations and code-generation, real-time analysis, real-time operating systems and distributed systems.

Principal investigator: Prof. Mikael Sjödin
Additional info: mikael.sjodin@mdh.se

Componentization of Legacy
This research direction provides methods and techniques that assist in integrating legacy code in the component-based development, as well as providing faithful execution of legacy code in a component-based setting. Successful applicants are likely to have an interest in, and understanding of, componentization of embedded software systems, legacy systems, real-time systems, resource management, predictable execution, and operating systems.

Principal investigator: Assoc. Professor Thomas Nolte
Additional info: thomas.nolte@mdh.se

Development Environment and Process
This research direction provides a tool infrastructure with a set of basic tools and support for integration of other tools (provided by PROGRESS or externally), as well as guidelines for component-based development processes, and techniques for integrating such development in existing processes. Prospective candidates are expected to contribute to further development of the tools, in particular the Integrated Development Environment for ProCom and related tools, and its dissemination to the research community and possible exploitation. The work is tightly related to Component Model research direction. The process part includes modelling of model-based and component-based development process with emphasis on reusability, predictability, and separation of development of software from hardware.

Principal investigators: Prof. Ivica Crnkovic/Dr. Rikard Land
Additional info: ivica.crnkovic@mdh.se

Legacy Property Prediction
This research direction focuses on existing industrial "legacy" systems, with the purpose of providing timing and resource usage information necessary for componentization of legacy code. This includes extraction of simulation models from source code and trace analysis, model transformation into timed automata models and advanced simulation-based methods. Prospective applicants should have knowledge of embedded systems, source code analysis and preferably an understanding of the challenges of large-scale industrial software development.

Principal investigator: Prof. Christer Norström
Additional info: christer.norstrom@mdh.se


































































































About PROGRESS
PROGRESS is a Swedish national strategic research centre at Mälardalen University (MDH) in Västerås. PROGRESS is dedicated to find methods for cost-efficient handling of the increasing complexity of embedded software used in computer-based products. Our focus is on the domains of automation, ground vehicles and telecom; domains of great strategic importance for Swedish economy, and for which the majority of innovation and added value stem from software. Alas, these are also domains where the cost of software is rampaging, and where the necessary quality of software is becoming increasingly difficult to achieve. Adopting a software-component approach to engineering and re-engineering of embedded software systems, PROGRESS provides theories, methods, and tools that increase quality and reduce life-cycle costs. technology.        PROGRESS is focusing its research on development, adaptation and extension of Component Based Development (CBD) into a mature engineering discipline for cost-efficient development of embedded software. This includes addressing the specific concerns and requirements of embedded systems, such as real-time requirements, resource consumption, dependability, and life-cycle properties, as well as supporting implementation mechanisms and reuse of legacy software. Based on a common vision and concept, the PROGRESS research is organized into a set of interrelated disciplinary research directions, interlinked via cross-cutting and integrating tool environment and demonstrator projects. The cross-cutting projects are important vehicles for integration of disciplinary research results and provide means for evaluation and verification of the developed technology.



Mälardalen Real-Time Research Centre

PROGRESS is hosted by Mälardalen Real-Time Research Centre (MRTC), which is one of two Embedded systems research directions at the School of Innovation, Design and Engineering at Mälardalen University. MRTC is the leading research profile at MDH, and a national leader in Embedded Systems related research. Internationally, MRTC has extensive co-operation world-wide, and is known for its research in Real-Time Systems and Software Engineering, as well as its strong industrial links. Industrial partners include major companies, such as ABB, Bombardier, Ericsson, Scania, and Volvo, as well as many smaller ones, including several spin-off companies.

MRTC provides a stimulating international research environment, characterized by its cooperative atmosphere, openness, and team spirit – a great environment for a researcher to grow in; with a mix of established and young researchers, including 10 full professors, 3 adjunct professors, 20 additional senior researchers, and close to 50 PhD-students; several of which are employed or funded by industry. Research at MRTC has a dominating focus on Embedded Software, with a particular emphasis on component-based software development. MRTC’s mission is to provide research excellence that enables industry to take advantage of the opportunity provided by software in products and production systems. The research is organized in 10 mutually supportive and cooperating research groups with research on various aspects of embedded systems software engineering, real-time systems, data communication, and circuit design.































































Mälardalen University

Mälardalen University (MDH) is one of Sweden’s largest institutes of higher education, with some 15,000 students studying approximately 60 programs and more than 800 courses. Mälardalen University is situated in the densely populated and expansive region around Lake Mälaren. Most of the University's students are taking courses at one of the two centrally situated campuses in Eskilstuna and Västerås.

Education and research is conducted in engineering and science, the humanities, social science and the caring sciences. The University offers post graduate education in engineering. There is a focused effort to establish strong research also within the humanities/social- and the caring sciences. The University is environmentally certified and prioritises sustainable community development in all its activities





















About Västerås

Västerås is Sweden’s sixth largest city, beautifully located by Lake Mälaren. It is one of the oldest cities in Sweden with a more than 1000 year long history. When you think about economic growth, world class technology and regional shopping you think about Västerås, the birth city of Asea and H&M. It’s a strategic meeting point with the Congress Center and a recently completed multi arena. Västerås is the home of worldwide company ABB’s largest centre for research and development, but also a dancing cultural city with a world famous underwater hotel.

Visitors reach Västerås easily – 53 minutes by train from Stockholm and about an hour with bus or car. Västerås also has its own international airport.

The modern industrial evolution in Sweden started in Västerås, when the whole country got its electricity supply from Asea (later ABB) in Västerås. During the 20th century ABB went worldwide. In Västerås you also find other world leading companies such as Bombardier Transportation, Westinghouse Electric Sweden, Alstom Power Sweden, Luvata Sweden and Enics Sweden.


































For more information

Professor Hans A Hansson,
e-mail: hans.hansson@mdh.se, phone: +46-21-10 31 63

Links:
School of Innovation, Design & Engineering: www.mdh.se/idt
The PROGRESS centre: www.mrtc.mdh.se/progress
Mälardalen Real-Time Research Centre: www.mrtc.mdh.se
Mälardalen University: www.mdh.se
The city of Vasteras: www.vasteras.se
  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2011.11.01