Polyspace Experts in Germany
matched in minutes from over 15,000 CVs with the power of AIWork with specialists who eliminate run-time errors, verify MISRA compliance, and integrate MathWorks static analysis into embedded toolchains. FRATCH connects you with vetted, available freelancers in minutes.
Meet FRATCH Experts in Germany, who have recently used Polyspace
Olfa A.
Last position:
Senior Embedded Software Engineer / Function Developer at Enginius GmbH (FAUN GROUP)
- Developed model-based software for hydrogen tank control units using MATLAB/Simulink, aligned with ISO 26262 functional safety requirements
- Performed system integration and software verification across MIL and HIL environments using dSPACE and Vector tools
- Defined software architecture (SADS) with interface specifications for CAN, analog, and digital communication protocols
- Generated production-ready embedded C code using Simulink Embedded Coder; created and maintained A2L calibration files with CANape
- Designed and executed MIL/HIL test cases ensuring full coverage of functional and safety requirements
- Implemented CODESYS PLC applications on IFM ecomatController; applied CAN and Modbus TCP/IP communication protocols
- Contributed to HMI/UI development using Qt/C++ on Linux (Qt Creator)
- Applied agile Kanban workflow with Git-based version control (Bitbucket)
Tools: MATLAB, Simulink, CANape, CANalyzer, PCAN-View, Embedded Coder, CODESYS, TTC2038/PXROS, Codebeamer, Jira, Git
S.r.k. C.
Last position:
Senior Software Engineer at STEPPS GmbH / Motherson Dr. Schneider
Project: Intelligent Light Communication Software — Audi
- Analysis and clarification of system requirements with the customer and translation into software architecture and design decisions
- Architecture and implementation of CAN FD and SPI communication on NXP S32K312
- Design and development of flash bootloader, flash driver, and boot manager for secure OTA-capable updates
- Configuration of the AUTOSAR BSW architecture (Dcm, Dem, NvM, BswM, Os, Mcu, Port, Com stack, Rtc) for portability and maintainability
- Design of the crypto stack (Csm, CryIf, Crypto) for secure flash and diagnostic data; integration of the NXP HSE core and wrapper layer
- Integration of customer-specific modules (Sfd, Ivd, Npm) into the Vector AUTOSAR stack
- Definition of the memory architecture: Memmap, CMake, and linker script configuration
- Leading board bring-up for the Audi light demo platform; implementation of diagnostic routines and identifiers
Kusay T.
Last position:
Freelance System & Software Architect - DNA-Extraction Robot at QIAGEN GmbH
- System and software architecture for the QIA-symphony Connect DNA-extraction robot in Life Science / IVD automation.
- Designed features and control logic for extraction, pipetting, lysis and eluate modules using C++, PLC/ST (Beckhoff IPC / TwinCAT 3) and model-based concepts.
- Delivered ISO 13485-oriented requirements, architecture, unit/integration/regression tests and DHF/VEP/VER/TCL documentation.
- Used Polarion, Jira, Confluence, Azure and AI-assisted documentation to improve traceability and engineering efficiency.
Oleksii K.
Last position:
Software developer (freelance) at Sasse Elektronik GmbH
- Built custom Yocto Linux image with Docker support (NXP i.MX 6ULL)
- Developed distributed Python application (web interface, gas/temp control)
- Designed multiple docker containers for production and development
- Wrote documentation per IEC 62304
Edda N.
Last position:
Independent Software Developer at Professional Programming
since 03.2025: development of new functionality, customer-specific adaptations and bug fixing of an ERP system in the inventory management area for medical products (Windows 11, Mumps, GT.M)
09.2022–04.2024: creation of diagnostic routines for the entire vehicle fault memory and implementation of a diagnostic application for the after-sales area using PRODIS Automation (Windows 10, graphical J2EE platform, PRODIS Automation DSA)
09.2020–06.2022: analysis of requirements, creation of concepts and specifications, software development in C, bug fixing, code reviews, module testing, integration, series maintenance according to PTC Integrity Tracker (microprocessor SAMA5, Linux, C, Visual Studio 15/19, Polyspace, MISRA, Integrity PTC, Jenkins, make/cmake)
07.2019–11.2019: implementation and installation of customer-specific adjustments and extensions in the field of electronic payment transactions, preparation and execution of tests (Windows 7, Linux, C++, make, Eclipse, Git)
01.2019–07.2019: software development of headlamp control units according to Automotive SPICE, reviews with QA (microcontroller Renesas RH850, C, Git, Green Hills Compiler/Linker, Visual Studio 2013, Rational ClearCase, ClearQuest, Vector CANoe)
01.2017–12.2018: project management, software requirements analysis, development according to MISRA and HIS, QA plan, document reviews, configuration management, on-site support (Renesas RH850, C, Git, Visual Studio 2013, DOORS, ClearCase, ClearQuest, Vector CANoe)
02.2013–10.2016: redesign and implementation of CAN/LIN restbus software and D-PDU API, development of various restbus adapters, feature extensions, FIBEX integration, driver control, D-PDU API interface, performance optimization, module tests, documentation, commissioning (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: adaptation and maintenance of the MCVI Diagnostic Server according to ASAM MCD-3D 3.0.0 and ODX 2.2, development of diagnostic tools and user interfaces, transformation of ODX data, regression tests with CppUnit and JUnit (Windows 7, C++, Java)
01.2010–05.2011: design, development and commissioning of a program for customer, project and product catalog management (Windows XP, Visual Basic .NET, Microsoft Access)
04.2008–12.2009: programming of ODX data-based diagnostic routines, requirement documents and test specifications, simulation tests, maintenance and bug fixing (Windows XP, J2EE platform, Oracle)
02.2007–12.2007: implementation of the framework for pattern design and management software, functional extensions, setup project (.NET, C++, Visual Studio 8, Microsoft Access, Windows XP)
Karl S.
Last position:
Software Consultant, Architect, and Developer at Forklift Truck Manufacturer
Consulting in all areas of software development such as architecture, inter- and intra-process communication, end-to-end validation
Monitoring and measuring resources such as runtime and memory usage
Specification of interface and implementation patterns as well as high-level and detailed specifications
Design and implementation of functional and safety software
Specification of unit tests and support of the integration and software tests in the HIL test department as part of software validation
Development of platform-independent control and regulation software for a fuel cell system (multi-processor 16-bit and multi-core 32-bit)
Development/concept design of state machines
Development/concept design of control algorithms
Development/concept design of inter-process safety communication
Development/concept design of basic software components for parameter, characteristic curve, and error management
Development of vehicle communication based on CAN
Development/concept design of commissioning, maintenance, and service interfaces via CAN and UDS diagnostics
Conducting validation and supporting external validation
Creating specifications for testing
Michael B.
Last position:
Developer/Consultant at Fresenius Medical Care
- Development of automated end-of-line tests (functional tests) for dialysis machines on a PLC test bench in a production environment
- Introduction of new technology based on Vector vTestStudio, CANoe, and Siemens S7 PLC
- Creating test concepts
- Implementing test cases and libraries in CAPL and C#
- Touch screen emulation and proprietary RPC (Remote Procedure Call) via CAN
- Connecting to the PLC (Siemens Simatic)
- Defining interfaces for device communication (vCDL)
- Defining user interfaces and linking to the frontend (JSON)
- Agile work using DevOps (Azure)
- Skills: CAPL, .NET, C#, vCDL, CANOpen, DevOps, PLC
- Tools used: Vector CANoe 18, vTestStudio 4, MS Azure DevOps, MS Visual Studio 2022, Mosquito MQTT, Git, Siemens TIA Portal
Oliver O.
Last position:
Embedded Software Architect at Automotive supplier
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 and Pandas
ISO 26262, ISO 21434, hypervisor, key management, HSM. Tooling & automation. LieberLieber LemonTree + Sparx EA. Jira, Confluence, SharePoint. Git/Github. DevOps through Jenkins & Conan.
Konstantin M.
Last position:
Architect, Software Developer at IPG Photonics
- Defined initial system and software architecture
- Implemented application modules and hardware control layers
- Built test and mock environments to support validation
- Developed hardware drivers and low-level communication routines
- Authored technical documentation for internal and external stakeholders
- Tools: C/C++, QML, Linux, Windows, Raspberry PI, MQTT, CAN, Serial
Discover over 15,000 top freelancers
Statistics of experts using Polyspace
Aggregated from the professional profiles of matched freelancers.
Experience
23 years
Position duration
2.6 years
Positions per freelancer
12
Top business areas
Information Technology, Product Development, Quality Assurance
Top industries
Automotive, Manufacturing, Healthcare
Certification focus areas
Information Technology, Product Development, Research and Development
Bachelor's degree or higher
88%
Master's degree or higher
63%
Doctorate
13%
Certifications per freelancer
1
Most common languages
German, English, French
Speak two or more languages
100%
Based on our profile pool as of 29 Oct 2026.
Daily rate distribution
The chart shows how the daily rates of experts in this technology in Germany are distributed, based on recent contracts on our platform. Each bar covers a rate range — its height shows the share of experts charging within that range.
Average rates of experts in Germany using Polyspace
Rates are based on recent contracts and do not include FRATCH margin.
The average daily rate is the mean of all daily rates from recent contracts of comparable freelancers on our platform.
The median daily rate is the middle value of all daily rates — half of comparable freelancers charge less, half charge more. Unlike the average, it is barely affected by outliers.
Calculated based on our freelancers’ daily rates as of 29 Oct 2026. Actual rates may vary depending on seniority level, experience, skill specialization, project complexity, and engagement length.
Polyspace experts industry focus
See which industries our matched freelancers work in most often — every figure is calculated live from the freelancers on FRATCH.
- Automotive (78%)
- Manufacturing (78%)
- Healthcare (67%)
- Information Technology (56%)
- Telecommunication (44%)
- Education (22%)
- Banking and Finance (22%)
- Aerospace and Defense (11%)
Please note that freelancers can work across multiple industries, so percentages overlap.
About the technology
Formal Verification with MathWorks Static Analysis
MathWorks Polyspace provides static code analysis based on abstract interpretation to prove the absence of critical run-time errors in C, C++, and Ada. Engineering teams rely on Polyspace Bug Finder to identify defect patterns and Polyspace Code Prover to mathematically verify software execution without executing tests on target hardware.
Typical Applications in Safety-Critical Systems
- Verifying automotive electronic control units under ISO 26262 requirements
- Proving numerical stability in avionics systems adhering to DO-178C standards
- Enforcing coding guidelines for medical equipment following IEC 62304 rules
- Auditing industrial automation controllers against IEC 61508 safety targets
Tool Ecosystem and Embedded Integration
Specialists configure analysis pipelines within Jenkins, GitLab CI, and GitHub Actions. They link results with Simulink and MATLAB models, ensuring hand-written and automatically generated code from Embedded Coder remains clean. Integration extends to target compilers like GCC, Clang, and Tasking, alongside requirements management platforms such as IBM Engineering Requirements Management DOORS.
When Organizations Need Specialized Support
Teams seek outside expertise when static analysis builds take too long, unresolved orange warnings stall continuous integration, or upcoming safety audits require formal verification artifacts. Setting precise stubbing, defining accurate hardware target options, and scoping memory bounds prevent misleading analysis outcomes and ensure compliance documentation passes independent assessments.
Professional Delivery Standards
Proficient specialists build robust verification configurations, separate real defects from benign warnings, and create reproducible suppression strategies. They align rulesets with MISRA C, MISRA C++, and CERT C standards while maintaining clear rationale documentation. Their scripts automate regression checks to catch algorithmic overflows and pointer issues early.
Industry Demands Across Germany
Automotive tier-one suppliers, rail transport manufacturers, and aerospace firms throughout Germany demand rigorous verification workflows. On-site presence is frequently requested during audit preparation and hardware-in-the-loop setup phases, though day-to-day rule customization and pipeline integration commonly run in secure remote development environments.
Frequently asked questions
Questions about Polyspace? Start with the answers below.
Polyspace mathematically proves the absence of run-time failures such as division by zero, out-of-bounds array access, null pointer dereferencing, and data races. Teams use it to secure critical C and C++ software long before deploying to physical targets.
Polyspace Bug Finder utilizes static analysis pattern matching to quickly identify defects and enforce coding guidelines such as MISRA C. In contrast, Polyspace Code Prover uses formal methods and abstract interpretation to prove code safety, color-coding operations to indicate proven absence of errors.
A specialist automates MathWorks Polyspace via command-line interfaces to run inside tools like Jenkins, GitLab CI, or Azure DevOps. They establish automated baseline comparisons so that new pull requests block merges whenever fresh defects or non-compliant constructs emerge.
Strong professionals combine expertise in Polyspace with advanced knowledge of embedded C, compiler flags, and target microcontroller architectures. Practical experience with ISO 26262 or DO-178C qualification and scripting in Python or MATLAB ensures rapid setup.
Most static analysis tasks for Polyspace can run completely remotely via secure VPNs and local build servers. However, German automotive and industrial enterprises occasionally prefer hybrid engagements for architectural walkthroughs, tool qualification reviews, and final certification sign-offs.
Standard linters check syntax conventions and simple patterns, often producing high rates of false alarms. Polyspace Code Prover evaluates exhaustive semantic execution paths through formal abstract interpretation, providing definitive proof rather than probabilistic guesses.
When Polyspace outputs excessive orange findings, an expert fine-tunes global variable ranges, refines stubbed functions, and provides realistic context constraints. This meticulous constraint calibration allows the prover to turn ambiguous warnings into verified green code.
While technical documentation and configuration scripts for Polyspace are authored in English, teams across Germany frequently require German language proficiency for interdisciplinary design reviews and safety manager discussions.
The average hourly rate of freelancers in Germany who have used Polyspace in their recent projects is 90 €, which corresponds to a daily rate of about 720 € based on an 8-hour working day.
Of the freelancers in Germany who have used Polyspace in their recent projects, 88% hold at least a Bachelor's degree, 63% hold at least a Master's degree, and 13% hold a doctorate.
On average, freelancers in Germany who have used Polyspace in their recent projects have 23 years of professional experience, with a single engagement typically lasting around 2.6 years.
The most common languages among freelancers in Germany who have used Polyspace in their recent projects are German (100%), English (89%), and French (56%).
The most common industries among freelancers in Germany who have used Polyspace in their recent projects are Automotive (78%), Manufacturing (78%), and Healthcare (67%).
The most common business areas among freelancers in Germany who have used Polyspace in their recent projects are Information Technology (100%), Product Development (100%), and Quality Assurance (100%).
Main locations of FRATCH Experts, who have recently used Polyspace
Our freelancers and interim experts are at home across the DACH region — available on-site in the major business hubs or fully remote. Choose a location to discover matched specialists, local market insights and up-to-date availability.
Berlin Hamburg Munich Cologne Frankfurt Stuttgart Dusseldorf Leipzig Dortmund Essen Bremen Dresden Hanover Nuremberg Request a free demo
Get in touch with the FRATCH team and we will get back to you within 4 hours.
Would you rather directly get in touch?
We always have the time for a call or email!
Philipp Thomaschewski
FRATCH CEO
