Ralf Anton Beier
Distinguished Engineer Automotive Software @Aptiv
Signup · Get unlimited contacts
WORK HISTORY
Distinguished Engineer Automotive Software @Aptiv
Leading software architecture for the LINC™ (Layered Infrastructure for Networking and Compute) software platform — Aptiv\'s modular, cloud-native platform for software-defined vehicles. LINC integrates previously siloed domains (infotainment, ADAS, body, powertrain) into a unified architecture with communications middleware, automotive-grade container orchestration, edge intelligence, and DevSecOps workflows.Technical lead in OSxCAR (Optimized Software-defined Car Architectures) — a publicly funded research initiative (EFRE, 2024–2027) with University of Wuppertal, University of Bielefeld, paraXent, and CETEQ. Developing WebAssembly-based platforms for modular, cross-domain software integration with one-binary portability from cloud to microcontroller.Contributing to CTO-level working groups defining Software-Defined Vehicle architectures for 2030+ platforms, including participation in architecture control boards. Developing cross-domain technology strategies for automotive middleware, OTA, and software-defined networking.7 patents in automotive networking, blockchain, and WebAssembly-based system analysis.
EDUCATION
Georg-Simon-Ohm Fachhochschule Nürnberg
Diplom, Informatics
SKILLS
ABOUT RALF ANTON BEIER
Making cars think in Rust. Distinguished Engineer at Aptiv with 20+ years in automotive software architecture and embedded systems. Leading software architecture for next-generation computing platforms and software-defined vehicles. Deep expertise in Rust, WebAssembly, and formal verification with active open-source contributions.Building PulseEngine — an open-source, formally verified WebAssembly Component Model engine for safety-critical systems. The toolchain spans 30+ repositories: • meld — static component fusion • loom — formally verified optimizer • kiln — WebAssembly interpreter and runtime • synth — program synthesis transcoder • rivet — traceability as code with 15 safety standard schemas (STPA, ASPICE, IEC 61508, DO-178C, EU AI Act) • sigil — supply chain signing with post-quantum crypto and offline verification • spar — AADL and SysML v2 analysis toolchain • temper — automated GitHub governance • rules_wasm_component — Bazel build system for WebAssembly components (v1.0) Three independent formal verification paths run in CI: Verus (SMT/Z3), Rocq (theorem proving), and Lean 4. AI agents write both the code and the mathematical proofs. The solver checks them in seconds. 7 patents in automotive networking, blockchain, and WebAssembly-based system analysis. Passionate about shaping the future of mobility through software architectures that balance performance, safety, and developer productivity.pulseengine.eu
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.