It was a bit tricky to get to the lecture today, due to the visit of President Obama in Hannover.
Also students from out University had a chance to attend Obama’s speech. Of course they were excused for not attending to my lecture.
And the following speech in full length:
Today I will be presenting our current development on the ScenarioTools tool suite at EclipseCon Europe 2015.
I am looking for qualified applicants for a doctoral researcher position in the DFG-fundend project EffiSynth — Design of Energy Effficient Mechatronic Systems based on Automated Controller Synthesis and Trajectory Planning.
Please submit your application via email by November 1st 2015. The position is to be filled by January 2015. The position is for two years, but, if possible, may be extended.
For more information also see the German description of the position.
The goal of this project is to develop methods and tools for engineers to design energy efficient mechatronic systems, for example production systems, that optimize the reuse of braking energy in the system.
This interdisciplinary research project will be carried out in cooperation with the Institute of Mechatronic Systems in Hannover (Jens Kotlarski). I am seeking candidates with a background on model-based software engineering and/or formal methods. Knowledge of mechanical- or control engineering or robotics is a plus. Required is a masters degree (or equivalent) in computer science or a related field of study.
Don’t hesitate to contact me for more information.
The Institute of Mechatronic Systems in Hannover (Jens Kotlarski) and I will commence in 2016 with our project EffiSynth — Design of Energy Effficient Mechatronic Systems based on Automated Controller Synthesis and Trajectory Planning.
I’m looking forward to the email@example.com workshop today. I’ll be presenting our firstname.lastname@example.org paper this afternoon. See you there.
I was interviewed by the Hannoversche Allgemeine Zeitung for an article that introduces the new Professors at the Leibniz Universität Hannover.
The camera-ready copy of our paper Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications, accepted at MODELS 2013, is available for preview (PDF).
At the beginning of April 2013, I moved to Hannover, Germany, where I am now assistant professor (Juniorprofessor) at the Leibniz Universität Hannover. I’m only now finding time to update my website, since I was busy with moving and teaching my new course Design and Analysis of Distributed, Interacting Systems.
Out Paper Features meet Scenarios: Modeling and Consistency Checking Scenario-Based Product-Line Specifications was accepted for publication in the Requirements Engineering Journal.