Noch keine KI-Analyse
Ausführen: python script_run_ai_scoring.py --profile zoe
Stellenbeschreibung
Start: sofort | Type: freiberuflich für ein Projekt | Location: Bremen
=== AUFGABEN / RESPONSIBILITIES ===
• Entwicklung und Weiterentwicklung von Software in Ada für sicherheitskritische Systeme
• MItarbeit an Embedded- und Echtzeitanwendungen
• Analyse, Implementierung und Optimierung von Softwarekomponenten
• Durchführung von Fehleranalysen und Behebung von Softwareproblemen
• Unterstützung bei der mathematischen und formalen Verifikation von Software (z. B. mittels SPARK)
• Erstellung und Pflege technischer Dokumentationen
• Zusammenarbeit mit System-, Hardware- und Softwareentwicklungsteams
• Sicherstellung der Einhaltung relevanter Qualitäts- und Sicherheitsstandards
=== PROFIL / REQUIREMENTS ===
• Solide Erfahrung in der Softwareentwicklung mit Ada
• Fundierte Kenntnisse in Embedded Systems und Echtzeitsystemen
• Erfahrung in der Entwicklung sicherheitskritischer Anwendungen
• Kenntnisse im Umgang mit statischen Codeanalysen und Software-Qualitätssicherung
• Erfahrung mit der Integration von Ada-Anwendungen in bestehende Softwarelandschaften
• SÜ2-Sicherheitsüberprüfung vorhanden
• Sehr gute Deutsch- oder Englischkenntnisse