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

E-Mail

[email protected]

Phone

+49 2203 601-0

Fax

+49 2203 673-10

STATUS: EXPIRED