Course paper / final thesis

Researching Temporal Properties of Differential Equations

Starting date


Duration of contract

6 months

Type of employment

Full-time (part-time possible)

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:

  • analyze which classes of DEQs are common to engineering problems
  • analyze existing temporal logics for their application to DEQs
  • define a mapping for a set of selected temporal logics
  • evaluate the capabilities as well as pros and cons regarding the applicability for verifying properties of the DEQ
  • implement your findings into a prototype automatically checking a set of requirements for a given DEQ

If you enjoy developing software and want to become a part of our team, we are looking forward to receiving your application. We are interested in highly motivated students who deliver high quality work. We offer you the possibility to bring in your own ideas and research topics.

Your qualifications:

  • You are studying Computer Science or a similar subject.
  • You have knowledge in programming languages such as Python or Java.
  • You are a team player, creative, and able to work independent and self-motivated.
  • You are fluent in spoken and written English (knowledge of German is an asset).
  • Ideally you have some experience in modelling technical systems with differential equations.
  • Preferably you have some experience in the area of temporal logic or model checking.

Your benefits:

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.

  • Apply online now
  • You can send this job advertisement via e-mail and complete your application on a personal computer or laptop.

    We need your digital application documents (PDF). The document upload function is not supported by all mobile devices. Please complete your application on a PC/laptop.

    Complete application on PC

Technical contact

Philipp Fischer
Institute for Software Technology

Phone: +49 531 295-2951

Send message

Vacancy 75567

HR department Braunschweig

Send message

DLR site Braunschweig

To location

DLR Institute for Software Technology

To institute