Algorithms developer állások, munkák mérnök területen

• Use formal verification algorithms to formally prove the correctness of complicated logic problems
• Identify key behaviors for verification to write clear testplans for complex designs
• Implement testplans using innovative formal techniques
• Drive tools to realize their best performance

• Building and maintaining simulation environments for mobile robotic perception and navigation
• Developing and integrating robotic behaviours and learning pipelines for reinforcement learning and motion planning in complex outdoor environments

• Contribution to a unified camera technology platform
• Investigation and solving of problems across the complete camera pipeline
• Analysis of kernel logs and driver behavior
• Tracing frames through V4L2 and the ISP
• Debugging MIPI CSI-2 communication
• Investigation of Android Camera HAL behavior

• Manage, maintain, and further develop the existing MATLAB-based simulation environment
• Implement and integrate existing algorithms for the simulation of dynamic systems and control applications
• Ensure the quality, reliability, and usability of the simulation tool

You develop signal processing solutions for various sensor heads used in non-destructive testing (NDT) of offshore subsea assets — covering both real-time data processing to support onboard autonomy and downstream analysis and evaluation....

• Research and identify suitable prediction approaches, including kinematic and dynamic models, Kalman filters, regression techniques, data-driven methods, and hybrid approaches
• Implement prototypes in Python and integrate selected methods into C++ applications where appropriate

• You develop advanced algorithms for the analysis, control, protection, and optimization of industrial grids and microgrids
• You validate concepts through simulation, software prototypes, and demonstrators

• Create high-level distributed system architecture aligning with business requirements and technical constraints
• Provide technical guidance and leadership to development teams, ensuring that architectural standards and best practices are followed

Drive End-to-End Robotics Deployment: As a Chief Expert Robotics, you will lead the technical implementation and architecture of advanced robotic systems by translating complex algorithms into reliable, production-ready hardware and software solutions....