Polyspace Experts in Germany
matched in minutes with vetted, available freelancersHire experts who verify C and C++ software, configure Polyspace Bug Finder and Code Prover, and support safety-critical embedded projects. FRATCH matches you quickly and precisely with vetted, available freelancers who fit your technical needs.
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.
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.
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
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 19 Sep 2026.
Daily rate distribution
The chart shows how the daily rates of freelancers in this technology in Germany are distributed, based on recent contracts on our platform. Each bar covers a rate range — its height shows how many freelancers charge 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 19 Sep 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
Static Analysis for Critical Code
Polyspace is a static analysis product from MathWorks for checking C, C++ and Ada software without executing it. It helps teams detect runtime errors, undefined behavior and coding defects early. Polyspace Bug Finder focuses on defects and coding-rule violations, while Polyspace Code Prover uses formal methods to prove whether certain run-time errors can occur.
Typical Deliverables
- Configure Bug Finder checks for embedded C and C++ codebases
- Use Code Prover to verify absence of selected run-time errors
- Integrate analysis into build and continuous integration workflows
- Produce review evidence for safety-critical software
- Tune findings and document justified deviations
Polyspace supports repeatable verification across large, long-lived codebases. Its results can become part of release gates, peer reviews and compliance documentation.
Ecosystem and Skills
Strong Polyspace specialists understand the MathWorks ecosystem, including MATLAB and Simulink when models and generated code are involved. They also work with C, C++, Ada, embedded toolchains, version control and CI systems. Knowledge of coding standards such as MISRA C, CERT C and AUTOSAR C++14 is often relevant.
When Companies Need Help
- A new embedded product needs a reliable static-analysis workflow
- Existing findings are too numerous, noisy or poorly classified
- Generated code must be assessed before integration
- A team needs evidence for functional-safety reviews
- Polyspace analysis must run consistently in CI
Freelance expertise is useful during tool selection, first configuration, migration or audit preparation. Specialists can also transfer practices to an internal team and establish ownership of findings.
What Quality Looks Like
A capable professional does more than launch an analysis. They define relevant checkers, understand the code and hardware context, separate real defects from acceptable behavior, and explain every suppression. They can connect findings to requirements, tests and change control instead of treating a report as a simple pass-or-fail result.
Germany-Based Collaboration
Teams in Germany often apply Polyspace to automotive, industrial automation, medical technology and aerospace software. A specialist may work remotely with repository and build access, or join on-site reviews when hardware, tool qualification or secure environments require it. Clear technical English is common; German communication can help in local requirements and review settings.
Frequently asked questions
Questions about Polyspace? Start with the answers below.
Polyspace is used to analyze source code for defects and potential run-time errors without executing the program. Bug Finder identifies issues such as data-flow problems and coding-rule violations, while Code Prover can formally verify selected properties in C, C++ and Ada software.
Polyspace combines conventional defect detection with formal verification based on abstract interpretation. Teams often compare it with tools such as Coverity, CodeSonar or clang-tidy; the right choice depends on language coverage, proof needs, integration, coding standards and the evidence required for the project.
A strong Polyspace specialist usually understands C or C++, embedded build systems, version control and continuous integration. Experience with MATLAB, Simulink, generated code, MISRA C, AUTOSAR or functional-safety processes can be important for automotive and other regulated systems.
The scope matters more than a fixed number of years. A small Bug Finder configuration can suit someone experienced with static analysis, while Code Prover adoption for a complex embedded product calls for a professional who has handled abstract-interpretation results, proof configuration, code patterns and review processes.
Polyspace can be used remotely when the specialist has secure access to source code, build instructions, tool licenses and analysis results. On-site work may still help when the project involves restricted systems, target hardware, tool qualification or workshops with German-speaking stakeholders.
Ask the specialist to explain how they classify findings, choose checkers, handle unreachable code and document suppressions. Good Polyspace work connects analysis results to requirements, coding standards, tests and release decisions rather than reporting raw warning volumes.
Polyspace can analyze generated C or C++ code, including code produced in workflows that use MATLAB and Simulink. The specialist should understand generation settings, model assumptions, compiler behavior and the boundary between model-level verification and source-code analysis.
Polyspace Code Prover is a better fit when a team needs formal evidence about whether selected run-time errors can occur under defined assumptions. Bug Finder is often the practical starting point for broad defect detection, while Code Prover adds deeper proof-oriented analysis and requires careful modeling and review.
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
