586: DLR-DAAD Postdoctoral Fellowship Nr. 586: PhD Computer Science (f/m/x) - Adapting unfolding-based dynamic partial order reduction for spacecraft operational behaviour verification in early design
4 Apr 2024
Job Information
- Organisation/Company
Deutsches Zentrum für Luft - und Raumfahrt (DLR)- Research Field
Technology
Engineering- Researcher Profile
Recognised Researcher (R2)
Established Researcher (R3)- Country
Germany- Application Deadline
7 Aug 2024 - 00:00 (UTC)- Type of Contract
To be defined- Job Status
Other- Is the job funded through the EU Research Framework Programme?
Not funded by an EU programme- Is the Job related to staff position within a Research Infrastructure?
No
Offer Description
Area of research:
Scientific / postdoctoral posts,Sonstiges
Job description:
The operational behaviour of a spacecraft needs to be modelled in early phases. It can be represented in state machines, transitions and triggering sequences. With hybrid models these state machines can be extended by time-continuous behaviour, usually described in differential equations. Depending on the complexity of the overall spacecraft, potentially dangerous states such as depleted batteries cannot be completely tested for absence.
It is envisaged to use hybrid model checking as a complete verification method. Nevertheless, this approach is confronted with the state space explosion problem and the need for time-continuous behaviour above first order. Therefore, it is needed to investigate methodologies to reduce the state space that needs to be explored by e.g. partitioning, and explore potential methods for model checking hybrid systems of higher order.
Please apply here: DLR-DAAD Research Fellowship Programme - DAAD - Deutscher Akademischer Austauschdienst
Further information and current vacancies: DLR Current offers - DAAD
This research center is part of the Helmholtz Association of German Research Centers. With more than 42,000 employees and an annual budget of over € 5 billion, the Helmholtz Association is Germany's largest scientific organisation.
Requirements
Additional Information
- Website for additional job details
https://www.dlr.de/dlr/jobs/en/desktopdefault.aspx/tabid-10596/1003_read-52936/
Work Location(s)
- Number of offers available
- 1
- Company/Institute
- Deutsches Zentrum für Luft - und Raumfahrt (DLR)
- Country
- Germany
- City
- Braunschweig
- Geofield
Where to apply
- Website
https://www.dlr.de/dlr/jobs/en/desktopdefault.aspx/tabid-10596/1003_read-52936/
Contact
- City
Köln- Website
https://www.dlr.de/en/- Street
Linder Höhe[Porz-Wahnheide]- Postal Code
51147
[email protected]- Phone
+49 2203 601-0- Fax
+49 2203 673-10
STATUS: EXPIRED