Programozó állások XIII. kerületben (mérnök)

• Using formal verification algorithms to formally prove the correctness of complicated logic problems
• Identifying key behaviors for verification to write clear testplans for complex designs
• Implementing testplans using innovative formal techniques
• Driving tools to realize their best performance

• Being involved in the design process of a SoC by integrating the latest Arm IP products while ensuring correct functional behaviour
• Developing RTL code using System Verilog
• Running EDA tools to check the design and analyze results
• Using AI-assisted engineering tools to support development and debug

Contributing in SystemVerilog RTL verification and debug; formal bring-up of non-trivial IP blocks to achieve required quality levels (SystemVerilog/UVM, Formal, scripting)...

• Being involved in System IP microarchitecture specification and design
• Participating in SystemVerilog RTL verification and debug; formal bring-up of non-trivial IP blocks to achieve required quality levels (SystemVerilog/UVM, Formal, scripting)

• Supporting the development of new hardware platforms used for prototyping Arm’s latest IP
• Collaborating with experienced engineers across Software, SoC, Characterisation, and Verification teams
• Helping define specifications for new hardware platforms

• A kutatás és fejlesztési projektek végigkövetése a tervezéstől az átadásig
• Beágyazott vezérlők programozása C nyelven
• Prototípus berendezések beüzemelése, tesztelése
• Gépész-, villamos- és mechatronikai mérnökökkel való együttműködés
• Dokumentáció írás angolul és magyarul
• Szoftver- és hardvertesztelés

• 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

• C++ alapú beágyazott szoftverek fejlesztése
• Szenzoradatok (Vision, Radar) feldolgozása, járművek környezetét (külterét és belterét, környező autókat) felismerő algoritmusok implementálása
• Fejlesztési követelmények (requirements) elemzése és szoftveres megvalósítása

• Further development of existing optimization components of the airline management system Netline/Crew or Netline Scheduling area
• Implementing and experimenting on new and efficient optimization approaches
• Recording customer requirements for the commissioning of existing optimization components

• Development and maintenance of end-to-end manufacturing process models
• Application of simulation, value stream mapping, digital process modeling and analytical tools for manufacturing optimization
• Conducting manufacturing network assessments and supporting strategic footprint optimization

Defining and deploying Thermo Fisher's manufacturing test strategy across internal sites and Contract Manufacturing partners...

• Analysing system requirements from a verification point of view
• Supporting breakdown activities and the creation of lower tier requirements
• Planning, defining, and maintaining the system and subsystem verification strategy in collaboration with System Engineers and Project Managers