Model based systems engineering für galileo

neues Angebot (30/05/2020)

stellenbeschreibung

Job Description Ihre Mission

:
globale navigationssysteme wie galileo sind allgegenwärtig in unseren leben. daher ist es von großer bedeutung, dass diese systeme hoch verlässlich sind. mit methoden aus den bereichen formaler methoden, failure detection, isolation and recovery (fdir) sowie reliability, availability, maintainability und security (rams) werden diese systeme analysiert und auf ihre zuverlässigkeit bewertet und überprüft. ihre mission ist es, im umfeld und galileo zu forschen und dort model based systems engineering (mbse) in den einsatz zu bringen. ein schwerpunkt liegt dabei in der weiteren erforschung und integration formaler methoden. ihre ansätze integrieren sie in unsere open-source-software virtual satellite. zu ihren aufgaben zählen:

• mbse im rahmen unserer software virtual satellite zum einsatz zu bringen * einen engen projektkontakt zum galileo team zu halten * wissenschaftlich im bereich formaler metthoden im kontext von galileo zu arbeiten * bestehende ansätze im kontext von galileo zum einsatz zu bringen * neue methoden für eine durchgängige formale analyse im systems engineering bis in einzelne komponenten zu erforschen und zu entwerfen * bestehende und neue ansätze durchgängig von einer systemsicht bis hinein in komponenten von on-board-software zu analysieren und zu erweitern * virtual satellite im team zu erweitern und ihre forschungsergebnisse zu integrieren * publikationen zu erstellen, vorträge auf fachkonferenzen zu halten und die ausbildung von jungwissenschaftlern zu unterstützen wenn sie interesse an der softwareentwicklung haben und teil unseres teams werden wollen, dann freuen wir uns auf ihre bewerbung. wir wünschen uns hochmotivierte kolleginnen und kollegen, die sich mit ihrer arbeit identifizieren und andere begeistern. wir bieten ihnen die möglichkeit, ihre eigenen ideen einfließen zu lassen. dabei sollen sie auch eigenverantwortlich neue projekte ins leben rufen. ihre arbeiten sollen sie auf internationalen konferenzen und in wissenschaftlichen fachzeitschriften präsentieren. wir bieten ein spannendes, teamorientiertes und flexibles arbeitsumfeld, bei dem unter anderem auch eine teilzeitbeschäftigung möglich ist. ihre qualifikation:
• abgeschlossenes wissenschaftliches hochschulstudium im studiengang informatik (diplom/master) * fundierte kenntnisse im bereich model-checking und formaler methoden * umfangreiche kenntnisse in temporaler logik wie ctl und ltl * fundierte kenntnisse in der softwareentwicklung mit java oder ähnlichem * kenntnisse mit software-engineering-werkzeugen wie github, travis, maven/tycho * befähigung (nach deutschem, europäischem und us exportrecht) in exportrelevanten projekten im galileo-kontext zu arbeiten * erfahrungen in der betreuung studentischer arbeiten * teamfähigkeit, kreativität, eigenständigkeit und eigenverantwortung * bereitschaft zu publizieren und zu reisen (national/international) * fließende deutsch- und englischkenntnisse in wort und schrift * promotion im bereich der informatik mit fokus auf team-logistik bzw. prädikat-, aussagen- und temporallogik von vorteil * erfahrungen mit methoden zur fehlerbaumanalyse und ähnliche * kenntnisse im thema mbse mit bezug zum satellitenbau vorteilhaft * kenntnisse in der softwareentwicklung mit eclipse, osgi wünschenswert * idealerweise kenntnisse im bereich praktischer anwendung formaler ansätze ihr start:

freuen sie sich auf einen arbeitgeber, der ihr engagement zu schätzen weiß und ihre entwicklung durch vielfältige qualifizierungs- und weiterbildungsmöglichkeiten fördert. unser einzigartiges arbeitsumfeld bietet ihnen gestaltungsfreiräume und eine unvergleichbare infrastruktur, in der sie ihre mission verwirklichen können. vereinbarkeit von privatleben, familie und beruf sowie chancengleichheit von personen aller geschlechter (m/w/d) sind wichtiger bestandteil unserer personalpolitik. bewerbungen schwerbehinderter menschen bevorzugen wir bei fachlicher eignung.

Bewerben Sie sich jetzt um

Model based systems engineering für galileo
Sie werden auf eine andere Website weitergeleitet.
jetzt anmelden
Seien Sie der Erste, der neue Stellenangebote erhält
Mein Stellen-Alarm
Ihr Alarm wurde Ihrer Seite
Mein Stellen-Alarm
hinzugefügt.
Ihre Bestätigung steht noch aus,
gehen Sie bitte zu Ihrem E-Mail-Posteingang
und klicken Sie auf den Bestätigungslink, den wir Ihnen gesendet haben
mehr...

zur Vakanz

Weitere Jobs von Dlr