Renato Carvalho

Operating Systems Engineer at Gapfruit AG
  • Claim this Profile
Contact Information
us****@****om
(386) 825-5501
Location
CH

Topline Score

Topline score feature will be out soon.

Bio

Generated by
Topline AI

You need to have a working account to view this content.
Join now
You need to have a working account to view this content.
Join now

Credentials

  • Embedded Linux Platform Development with Yocto Project
    The Linux Foundation

Experience

  • Gapfruit AG
    • Switzerland
    • Computer and Network Security
    • 1 - 100 Employee
    • Operating Systems Engineer
      • Sep 2022 - Present

      Capability-based microkernel operating system. Capability-based microkernel operating system.

  • BMW Group
    • Germany
    • Motor Vehicle Manufacturing
    • 700 & Above Employee
    • Software Engineer
      • Jan 2020 - Jun 2022

      Remote Software Update Infrastructure - on-board/off-board core components Remote Software Update Infrastructure - on-board/off-board core components

  • INESC TEC
    • Portugal
    • Research Services
    • 400 - 500 Employee
    • Research Fellow
      • Feb 2018 - Jan 2020

      Formal verification of ROS based systems @ High Assurance Software Lab Formal verification of ROS based systems @ High Assurance Software Lab

Community

You need to have a working account to view this content. Click here to join now