Beschreibung
Mitarbeiter für statische Analyse - Astree (M/W) Deutschland, 100 % RemoteKnow-how:
• Erfahrung in der Entwicklung sicherheitsrelevanter Systeme
• gute Kenntnisse in der Programmiersprache C
• Affinität zu formalen Methoden der Softwarentwicklung und Verifikation
• Fließend Deutsch
Aufgaben:
- Erstellung der Analyse-Konfiguration für abstrakte Interpretation mit dem Werkzeug Astree
- Durchführung von Analysen für Softwarekomponenten
- Beurteilung der Analyse-Befunde durch Inspektion von C Code und SCADE Modell
- Erstellung von Annotationen zur Verbesserung der Analyse
- Erstellung von Problemmeldungen, Ursachenanalyse und Verbesserungsvorschlägen für das Modell
- Weiterentwicklung eines Frameworks zur Automatisierung der Analyse
- Erstellung von Scripten zur Integration der Werkzeuge in die Entwicklungsumgebung
- Erstellung Anwendungskonzept für statische Analyse
- Erstellung von Prozessbeschreibungen (Methoden, Checklisten, Standards)
Start ab November
6 Monate
100% Remote
Sind Sie Interessiert? Jetzt online bewerben! Oder schicken Sie mir bitte Ihren aktuellen Lebenslauf im Word-Format!
Ich freue mich von Ihnen zu hören!
Amoria Bond operiert als Personalberatung. Keine der genannten Fachausdrücke soll im Hinblick auf Alter, Geschlecht oder Erfahrung diskriminierend sein. Wir bestätigen, dass wir alle Bewerbungen von Kandidaten jeden Alters, Geschlecht oder Erfahrung gerne entgegennehmen.