Student Computer Science or similar (f/m/x)
☞ German Aerospace Center (DLR)
Ver: 177
Día de actualización: 17-10-2024
Ubicación: Braunschweig Lower Saxony
Categoría: Educación / Entrenamiento Pasantía / Nivel de entrada
Industria: Research Services
Posición: Internship
Tipo de empleo: Full-time
Contenido de trabajo
Your mission: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
- 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.
Plazo: 01-12-2024
Haga clic para postularse como candidato gratuito
Reporte trabajo
TRABAJOS SIMILARES
-
⏰ 19-11-2024🌏 Lingen, Lower Saxony
-
⏰ 16-11-2024🌏 Wunstorf, Lower Saxony
-
⏰ 11-11-2024🌏 Lunenburg, Lower Saxony
-
⏰ 28-11-2024🌏 Oldenburg, Lower Saxony
-
⏰ 15-11-2024🌏 Wolfsburg, Lower Saxony
-
⏰ 15-11-2024🌏 Oldenburg, Lower Saxony
-
⏰ 28-11-2024🌏 Wolfsburg, Lower Saxony
-
⏰ 17-11-2024🌏 Wolfsburg, Lower Saxony
-
⏰ 27-11-2024🌏 Göttingen, Lower Saxony
-
⏰ 15-11-2024🌏 Wolfsburg, Lower Saxony