You are researching in the topic of formalizing differential equations (DEQ). A lot of temporal processes in the area of engineering can be described by DEQ. This can be systems such as mass-spring or charging a capacitor. You will apply temporal logic to this problem to define requirements for the described system and finally analyze which properties might be checked automatically.
As part of your work you will:
If you enjoy software development and want to become part of our team, we look forward to receive your application. We are looking for highly motivated colleagues who can identify with their work and inspire others. We also offer you the opportunity to contribute with your own ideas and to initiate new projects on your own responsibility. You will be expected to present your work at international conferences and in scientific journals. We offer an exciting, friendly, and flexible working environment where part-time employment is also possible.
Look forward to a fulfilling job with an employer who appreciates your commitment and supports your personal and professional development. Our unique infrastructure offers you a working environment in which you have unparalleled scope to develop your creative ideas and accomplish your professional objectives. Our human resources policy places great value on a healthy family and work-life-balance as well as equal opportunities for persons of all genders (f/m/x).Individuals with disabilities will be given preferential consideration in the event their qualifications are equivalent to those of other candidates.
Academic Europe, the European career network for Academics, Researchers and Scientists