Polyspace Experten in Deutschland
, die dank KI in Minuten aus über 15.000 Lebensläufen vermittelt werdenArbeiten Sie mit Spezialisten zusammen, die Laufzeitfehler beseitigen, die MISRA-Konformität überprüfen und die statische Analyse von MathWorks in Embedded-Toolchains integrieren. FRATCH verbindet Sie in wenigen Minuten mit geprüften, verfügbaren Freelancern.
Lerne FRATCH Experten in Deutschland kennen, die kürzlich Polyspace eingesetzt haben
Olfa A.
Letzte Position:
Senior Embedded-Software-Ingenieur / Funktionsentwickler bei Enginius GmbH (FAUN GROUP)
- Entwicklung modellbasierter Software für Wasserstofftank-Steuergeräte mit MATLAB/Simulink gemäß den Anforderungen der funktionalen Sicherheit nach ISO 26262
- Durchführung der Systemintegration und Softwareverifikation in MIL- und HIL-Umgebungen mit dSPACE- und Vector-Tools
- Definition der Softwarearchitektur (SADS) mit Schnittstellenspezifikationen für CAN-, analoge und digitale Kommunikationsprotokolle
- Generierung produktionsreifer Embedded-C-Codes mit Simulink Embedded Coder; Erstellung und Pflege von A2L-Kalibrierungsdateien mit CANape
- Entwicklung und Durchführung von MIL/HIL-Testfällen zur vollständigen Abdeckung funktionaler und sicherheitsrelevanter Anforderungen
- Implementierung von CODESYS-SPS-Anwendungen auf dem IFM ecomatController; Einsatz der Kommunikationsprotokolle CAN und Modbus TCP/IP
- Mitwirkung an der HMI/UI-Entwicklung mit Qt/C++ unter Linux (Qt Creator)
- Anwendung eines agilen Kanban-Workflows mit Git-basierter Versionsverwaltung (Bitbucket)
Tools: MATLAB, Simulink, CANape, CANalyzer, PCAN-View, Embedded Coder, CODESYS, TTC2038/PXROS, Codebeamer, Jira, Git
S.r.k. C.
Letzte Position:
Senior Software Engineer bei STEPPS GmbH / Motherson Dr. Schneider
Projekt: Intelligente Lichtkommunikationssoftware — Audi
- Analyse und Klärung von Systemanforderungen mit dem Kunden und Übersetzung in Softwarearchitektur- und Designentscheidungen
- Architektur und Implementierung der CAN-FD- und SPI-Kommunikation auf NXP S32K312
- Entwurf und Entwicklung von Flash-Bootloader, Flash-Treiber und Boot-Manager für sichere, OTA-fähige Updates
- Konfiguration der AUTOSAR-BSW-Architektur (Dcm, Dem, NvM, BswM, Os, Mcu, Port, Com-Stack, Rtc) für Portabilität und Wartbarkeit
- Entwurf des Crypto-Stacks (Csm, CryIf, Crypto) für sichere Flash- und Diagnosedaten; Integration des NXP-HSE-Cores und der Wrapper-Schicht
- Integration kundenspezifischer Module (Sfd, Ivd, Npm) in den Vector-AUTOSAR-Stack
- Definition der Speicherarchitektur: Memmap, CMake und Linker-Skript-Konfiguration
- Leitung des Board-Bring-ups für die Audi-Licht-Demoplattform; Implementierung von Diagnoseroutinen und -kennungen
Kusay T.
Letzte Position:
Freiberuflicher System- & Softwarearchitekt - DNA-Extraktionsroboter bei QIAGEN GmbH
- System- und Softwarearchitektur für den DNA-Extraktionsroboter QIA-symphony Connect in der Life-Science-/IVD-Automatisierung.
- Entwicklung von Funktionen und Steuerlogik für Extraktions-, Pipettier-, Lyse- und Eluat-Module mit C++, SPS/ST (Beckhoff IPC / TwinCAT 3) und modellbasierten Konzepten.
- Erstellung von ISO-13485-orientierten Anforderungen, Architektur, Unit-/Integrations-/Regressionstests sowie DHF/VEP/VER/TCL-Dokumentation.
- Einsatz von Polarion, Jira, Confluence, Azure und KI-gestützter Dokumentation zur Verbesserung von Nachverfolgbarkeit und Engineering-Effizienz.
Oleksii K.
Letzte Position:
Softwareentwickler (freiberuflich) bei Sasse Elektronik GmbH
- Benutzerdefiniertes Yocto-Linux-Image mit Docker-Support erstellt (NXP i.MX 6ULL)
- Verteilte Python-Anwendung entwickelt (Weboberfläche, Gas-/Temperaturregelung)
- Mehrere Docker-Container für Produktion und Entwicklung entworfen
- Dokumentation gemäß IEC 62304 erstellt
Edda N.
Letzte Position:
Selbständige Software-Entwicklerin bei Professional Programming
seit 03.2025: Entwicklung neuer Funktionalitäten, kundenspezifischen Anpassungen und Fehlerbehebung eines ERP-Systems im Bereich Warenwirtschaft für Medizinprodukte (Windows 11, Mumps, GT.M)
09.2022–04.2024: Erstellung von Diagnose-Abläufen des gesamten Fahrzeugfehlerspeichers sowie Implementierung einer Diagnose-Applikation für den After-Sales-Bereich mittels PRODIS Automation (Windows 10, Grafische J2EE-Plattform, PRODIS Automation DSA)
09.2020–06.2022: Analyse von Anforderungen, Erstellen von Konzepten und Spezifikationen, SW-Erstellung in C, Fehlerbehebung, Codereviews, Modultest, Integration, Serienpflege gemäß PTC Integrity Tracker (Mikroprozessor SAMA5, Linux, C, Visual Studio 15/19, Polyspace, MISRA, Integrity PTC, Jenkins, make/cmake)
07.2019–11.2019: Implementierung und Installation kundenspezifischer Anpassungen und Erweiterungen im Bereich elektronischer Zahlungsverkehr, Vorbereitung und Durchführung von Tests (Windows 7, Linux, C++, make, Eclipse, Git)
01.2019–07.2019: Software-Entwicklung von Scheinwerfer-Steuergeräten nach Automotive SPICE, Reviews mit QS (Microcontroller Renesas RH850, C, Git, Green Hills Compiler/Linker, Visual Studio 2013, Rational ClearCase, ClearQuest, Vector CANoe)
01.2017–12.2018: Projektmanagement, Software-Anforderungsanalyse, Entwicklung nach MISRA und HIS, QS-Plan, Dokument-Reviews, Konfigurationsmanagement, Vor-Ort-Support (Renesas RH850, C, Git, Visual Studio 2013, DOORS, ClearCase, ClearQuest, Vector CANoe)
02.2013–10.2016: Redesign und Implementierung einer CAN/LIN-Restbus-Software und D-PDU API, Entwicklung diverser Restbus-Adapter, Funktionsumfangserweiterungen, Fibex-Integration, Treiber-Ansteuerung, D-PDU API-Schnittstelle, Performance-Optimierung, Modultests, Dokumentation, Inbetriebnahme (Windows 7, C++11/98, Python 3.2, IronPython, Visual Studio 2010/2012/2013, Boost, Doxygen, ClearCase, Vector CANoe, D-Server Softing DTS 8)
06.2011–09.2012: Anpassung und Wartung des MCVI Diagnostic Servers nach ASAM MCD-3D 3.0.0 und ODX 2.2, Entwicklung von Diagnosetools und Bedienoberflächen, Transformation von ODX-Daten, Regressionstests mit CppUnit und JUnit (Windows 7, C++, Java)
01.2010–05.2011: Entwurf, Erstellung und Inbetriebnahme eines Programms zur Kunden-, Projekt- und Produktkatalogverwaltung (Windows XP, Visual Basic .NET, Microsoft Access)
04.2008–12.2009: Programmierung von ODX-Daten-basierten Diagnoseabläufen, Pflichtenhefte und Testspezifikationen, Simulationstests, Wartung und Fehlerbehebung (Windows XP, J2EE-Plattform, Oracle)
02.2007–12.2007: Implementierung des Frameworks für Musterdesign- und -verwaltungssoftware, funktionale Erweiterungen, Setup-Projekt (.NET, C++, Visual Studio 8, Microsoft Access, Windows XP)
Karl S.
Letzte Position:
Software-Berater, ‑Architekt und ‑Entwickler bei Flurförderzeughersteller
- Beratung in allen Bereichen der Softwareentwicklung wie Architektur, Inter- und Intra-Prozesskommunikation, E2E-Absicherung
- Ressourcenüberwachung und Messung wie Laufzeit und Speicherbedarf
- Spezifikation von Schnittstellen- und Umsetzungs-Pattern sowie Grob- und Feinspezifikationen
- Design und Implementierung von Funktions- und Safety-Software
- Spezifikation der Unit-Tests und Betreuung der Integrations- und Software-Tests der HIL-Testabteilung im Rahmen der Software-Validierung
- Entwicklung einer plattformunabhängigen Steuer- und Regelungssoftware für ein Brennstoffzellensystem (Multi-Prozessor-16Bit und Multi-Core-32Bit)
- Entwicklung/Konzepterstellung von Zustandsautomaten
- Entwicklung/Konzepterstellung von Regelungsalgorithmen
- Entwicklung/Konzepterstellung von Inter-Prozess-Safety-Kommunikation
- Entwicklung/Konzepterstellung von Basissoftwarekomponenten zur Parameter-, Kennlinien- und Fehlerverwaltung
- Entwicklung von Fahrzeugkommunikation auf CAN-Basis
- Entwicklung/Konzepterstellung von Inbetriebnahme-, Wartungs- und Service-Anbindungen über CAN sowie UDS-Diagnose
- Durchführung von Validierung, Betreuung von externer Validierung
- Erstellung von Spezifikationen für das Testing
Michael B.
Letzte Position:
Entwickler/Berater bei Fresenius Medical Care
- Entwicklung von automatisierten End-Of-Line Tests (Funktionstests) für Dialyse-Geräte an einen SPS-Prüfstand im Produktionsumfeld
- Einführung neuer Technologie auf Basis von Vector vTestStudio, CANoe und Siemens S7 SPS
- Erstellen von Testkonzepten
- Implementierung von Testfällen und Bibliotheken in CAPL und C#
- Touch Screen Emulation und proprietäres RPC (Remote Procedure Call) via CAN
- Anbindung an die SPS (Siemens Simatic)
- Definition der Schnittstellen für die Gerätekommunikation (vCDL)
- Definition der Benutzerschnittstellen und Anbindung an das Frontend (Json)
- Agile Arbeitsweise mit DevOps (Azure)
- Kenntnisse: CAPL, .NET, C#, vCDL, CANOpen, DevOps, SPS
- Eingesetzte Tools: Vector CANoe 18, vTestStudio 4, MS Azure DevOps, MS Visual Studio 2022, Mosquito MQTT, Git, Siemens TIA Portal
Oliver O.
Letzte Position:
Embedded Software Architect bei Automobilzulieferer
Stellar SR6 G7 Line, 32-bit Arm® Cortex®-R52+ MCU.
- MISRA-C, C99, Greenhills ARM-Compiler
- Dassault AUTOSAR Builder
- EB Tresos
- Sparx Enterprise Architect 16.1
- VS Code
- Python xml, lxml, NumPy und Pandas
ISO 26262, ISO 21434, Hypervisor, Key Management, HSM. Tooling & Automation. LieberLieber LemonTree + Sparx EA. Jira, Confluence, Sharepoint. Git/Github. DevOps über Jenkins & Conan.
Konstantin M.
Letzte Position:
Architekt, Softwareentwickler bei IPG Photonics
- Erste System- und Softwarearchitektur definiert
- Applikationsmodule und Hardware-Steuerungsschichten implementiert
- Test- und Mock-Umgebungen zur Unterstützung der Validierung aufgebaut
- Hardwaretreiber und Low-Level-Kommunikationsroutinen entwickelt
- Technische Dokumentation für interne und externe Stakeholder erstellt
- Tools: C/C++, QML, Linux, Windows, Raspberry PI, MQTT, CAN, Seriell
Entdecke mehr als 15.000 Top-Freelancer
Statistiken von Experten, die Polyspace einsetzen
Aggregiert aus den beruflichen Profilen passender Freelancer.
Berufserfahrung
23 Jahre
Positionsdauer
2,6 Jahre
Positionen pro Freelancer
12
Häufigste Fachbereiche
Informationstechnologie (IT), Produktentwicklung, Qualitätssicherung
Häufigste Branchen
Automotive, Fertigung, Gesundheitswesen
Fokus der Zertifizierungen
Informationstechnologie (IT), Produktentwicklung, Forschung und Entwicklung (F&E)
Bachelor-Abschluss oder höher
88%
Master-Abschluss oder höher
63%
Doktortitel
13%
Zertifizierungen pro Freelancer
1
Häufigste Sprachen
Deutsch, Englisch, Französisch
Sprechen zwei oder mehr Sprachen
100%
Basierend auf unserem Profilpool, Stand 29 Okt 2026.
Tagessatzverteilung
Das Diagramm zeigt, wie sich die Tagessätze der Experten in dieser Technologie in Deutschland verteilen, basierend auf aktuellen Verträgen auf unserer Plattform. Jeder Balken deckt eine Tagessatzspanne ab – seine Höhe zeigt, welcher Anteil der Experten innerhalb dieser Spanne abrechnet.
Durchschnittssätze von Experten in Deutschland, die Polyspace einsetzen
Die Tagessätze basieren auf aktuellen Verträgen und enthalten keinen FRATCH-Aufschlag.
Der durchschnittliche Tagessatz ist der Mittelwert aller Tagessätze aus aktuellen Verträgen vergleichbarer Freelancer auf unserer Plattform.
Der Median-Tagessatz ist der mittlere Wert aller Tagessätze – die Hälfte der vergleichbaren Freelancer verlangt weniger, die andere Hälfte mehr. Anders als der Durchschnitt wird er von Ausreißern kaum beeinflusst.
Berechnet auf Basis der Tagessätze unserer Freelancer, Stand 29 Okt 2026. Die tatsächlichen Tagessätze können je nach Dienstalter, Erfahrung, Fachkenntnissen, Projektkomplexität und Auftragsdauer variieren.
Branchenfokus der Polyspace Experten
Sieh, in welchen Branchen unsere gematchten Freelancer am häufigsten tätig sind — jede Zahl wird live aus den Freelancern auf FRATCH berechnet.
- Automotive (78%)
- Fertigung (78%)
- Gesundheitswesen (67%)
- Informationstechnologie (IT) (56%)
- Telekommunikation (44%)
- Bildung (22%)
- Bank- und Finanzwesen (22%)
- Luft- und Raumfahrt und Verteidigung (11%)
Bitte beachte, dass Freelancer in mehreren Branchen tätig sein können, daher überschneiden sich die Prozentwerte.
Über die Technologie
Formale Verifikation mit statischer Analyse von MathWorks
MathWorks Polyspace bietet eine auf abstrakter Interpretation basierende statische Codeanalyse, um das Fehlen kritischer Laufzeitfehler in C, C++ und Ada nachzuweisen. Engineering-Teams verlassen sich auf Polyspace Bug Finder, um Fehlermuster zu erkennen, und auf Polyspace Code Prover, um die Softwareausführung mathematisch zu überprüfen, ohne Tests auf der Zielhardware auszuführen.
Typische Anwendungen in sicherheitskritischen Systemen
- Überprüfung elektronischer Steuergeräte im Automobilbereich gemäß den Anforderungen von ISO 26262
- Nachweis der numerischen Stabilität in Avioniksystemen gemäß den Standards von DO-178C
- Durchsetzung von Codierungsrichtlinien für medizinische Geräte gemäß den Vorgaben von IEC 62304
- Prüfung industrieller Automatisierungssteuerungen anhand der Sicherheitsziele von IEC 61508
Tool-Ökosystem und Embedded-Integration
Spezialisten konfigurieren Analyse-Pipelines in Jenkins, GitLab CI und GitHub Actions. Sie verknüpfen die Ergebnisse mit Simulink- und MATLAB-Modellen und stellen sicher, dass von Hand geschriebener und mit Embedded Coder automatisch generierter Code sauber bleibt. Die Integration umfasst auch Zielcompiler wie GCC, Clang und Tasking sowie Plattformen für das Anforderungsmanagement wie IBM Engineering Requirements Management DOORS.
Wann Unternehmen spezialisierte Unterstützung benötigen
Teams suchen externe Expertise, wenn Builds für die statische Analyse zu lange dauern, ungelöste orangefarbene Warnungen die kontinuierliche Integration aufhalten oder bevorstehende Sicherheitsaudits formale Verifikationsartefakte erfordern. Präzises Stubbing, die Definition genauer Optionen für das Hardwareziel und die Eingrenzung von Speichergrenzen verhindern irreführende Analyseergebnisse und stellen sicher, dass die Compliance-Dokumentation unabhängige Prüfungen besteht.
Professionelle Lieferstandards
Erfahrene Spezialisten erstellen robuste Verifikationskonfigurationen, trennen echte Fehler von unkritischen Warnungen und entwickeln reproduzierbare Strategien zur Unterdrückung von Meldungen. Sie stimmen Regelsätze auf die Standards MISRA C, MISRA C++ und CERT C ab und führen gleichzeitig eine klare Begründungsdokumentation. Ihre Skripte automatisieren Regressionstests, um algorithmische Überläufe und Zeigerprobleme frühzeitig zu erkennen.
Branchenanforderungen in ganz Deutschland
Automobilzulieferer der ersten Ebene, Hersteller von Schienenfahrzeugen und Luftfahrtunternehmen in ganz Deutschland verlangen strenge Verifikationsprozesse. Während der Vorbereitung auf Audits und beim Einrichten von Hardware-in-the-Loop wird häufig die Anwesenheit vor Ort gewünscht; die tägliche Anpassung von Regeln und die Integration von Pipelines finden jedoch meist in sicheren Remote-Entwicklungsumgebungen statt.
Häufig gestellte Fragen
Fragen zu Polyspace? Hier findest du die passenden Antworten.
Polyspace weist mathematisch das Fehlen von Laufzeitfehlern wie Division durch null, Array-Zugriffen außerhalb der Grenzen, der Dereferenzierung von Nullzeigern und Datenrennen nach. Teams nutzen es, um kritische C- und C++-Software lange vor der Bereitstellung auf physischen Zielsystemen abzusichern.
Polyspace Bug Finder nutzt statische Analyse und Musterabgleich, um Fehler schnell zu erkennen und Codierungsrichtlinien wie MISRA C durchzusetzen. Im Gegensatz dazu verwendet Polyspace Code Prover formale Methoden und abstrakte Interpretation, um die Codesicherheit nachzuweisen, und kennzeichnet Operationen farblich, um das nachgewiesene Fehlen von Fehlern anzuzeigen.
Ein Spezialist automatisiert MathWorks Polyspace über Befehlszeilenschnittstellen, damit es in Tools wie Jenkins, GitLab CI oder Azure DevOps ausgeführt wird. Er richtet automatisierte Vergleiche mit Basisständen ein, sodass neue Pull Requests das Zusammenführen blockieren, sobald neue Fehler oder nicht konforme Konstrukte auftreten.
Starke Fachkräfte verbinden Expertise in Polyspace mit fortgeschrittenen Kenntnissen in Embedded C, Compiler-Flags und Architekturen von Zielmikrocontrollern. Praktische Erfahrung mit der Qualifizierung nach ISO 26262 oder DO-178C sowie Skripterfahrung in Python oder MATLAB ermöglicht eine schnelle Einrichtung.
Die meisten Aufgaben der statischen Analyse für Polyspace können vollständig remote über sichere VPNs und lokale Build-Server ausgeführt werden. Deutsche Unternehmen aus der Automobil- und Industriebranche bevorzugen jedoch gelegentlich hybride Einsätze für Architekturprüfungen, Überprüfungen der Tool-Qualifizierung und abschließende Zertifizierungsfreigaben.
Gewöhnliche Linter prüfen Syntaxkonventionen und einfache Muster und erzeugen dabei häufig viele Fehlalarme. Polyspace Code Prover bewertet über formale abstrakte Interpretation alle semantischen Ausführungspfade und liefert einen definitiven Nachweis statt probabilistischer Vermutungen.
Wenn Polyspace zu viele orangefarbene Meldungen ausgibt, stimmt ein Experte die Wertebereiche globaler Variablen fein ab, präzisiert Stub-Funktionen und liefert realistische Kontextbedingungen. Diese sorgfältige Kalibrierung der Einschränkungen ermöglicht es dem Prover, mehrdeutige Warnungen in verifizierten grünen Code umzuwandeln.
Während technische Dokumentationen und Konfigurationsskripte für Polyspace auf Englisch verfasst werden, verlangen Teams in ganz Deutschland für fachübergreifende Designprüfungen und Gespräche mit Sicherheitsmanagern häufig Deutschkenntnisse.
Der durchschnittliche Stundensatz von Freelancern in Deutschland, die Polyspace in ihren letzten Projekten eingesetzt haben, liegt bei 90 €, was einem Tagessatz von etwa 720 € bei einem 8-Stunden-Tag entspricht.
Von den Freelancern in Deutschland, die Polyspace in ihren letzten Projekten eingesetzt haben, haben 88% mindestens einen Bachelor-Abschluss, 63% mindestens einen Master-Abschluss und 13% einen Doktortitel.
Freelancer in Deutschland, die Polyspace in ihren letzten Projekten eingesetzt haben, haben im Durchschnitt 23 Jahre Berufserfahrung; ein einzelnes Projekt dauert typischerweise etwa 2,6 Jahre.
Die häufigsten Sprachen unter Freelancern in Deutschland, die Polyspace in ihren letzten Projekten eingesetzt haben, sind Deutsch (100%), Englisch (89%) und Französisch (56%).
Die häufigsten Industrien unter Freelancern in Deutschland, die Polyspace in ihren letzten Projekten eingesetzt haben, sind Automotive (78%), Fertigung (78%) und Gesundheitswesen (67%).
Die häufigsten Bereiche unter Freelancern in Deutschland, die Polyspace in ihren letzten Projekten eingesetzt haben, sind Informationstechnologie (IT) (100%), Produktentwicklung (100%) und Qualitätssicherung (100%).
Hauptstandorte der FRATCH Experten, die kürzlich Polyspace eingesetzt haben
Unsere Freelancer und Interim-Experten sind in der gesamten DACH-Region zuhause — verfügbar vor Ort in den wichtigsten Wirtschaftszentren oder komplett remote. Wähle einen Standort und entdecke passende Spezialisten, lokale Markteinblicke und aktuelle Verfügbarkeiten.
Berlin Hamburg München Köln Frankfurt Stuttgart Düsseldorf Leipzig Dortmund Essen Bremen Dresden Hannover Nürnberg Kostenlose Demo vereinbaren
Kontaktiere uns und das FRATCH-Team meldet sich innerhalb von 4 Stunden bei dir.
Möchtest du lieber direkt mit uns in Kontakt treten?
Wir haben immer Zeit für einen Anruf oder eine E-Mail!
Philipp Thomaschewski
FRATCH CEO
