Python developer állás, munka

Főbb feladatok: •Energetikai elemzések és számítások támogatása •Adatok gyűjtése, feldolgozása és kiértékelése •Műszaki dokumentációk és riportok készítésének támogatása •Részvétel energetikai projektekben, fejlesztésekben ...

• 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

• SystemVerilog RTL verification and debug
• Formal bring-up of non-trivial IP blocks
• Collaboration with engineers across design, performance modelling, validation, and implementation to meet functional requirements, performance, power and area goals

• Contribution to System IP microarchitecture specification and design
• Contribution in SystemVerilog, C and C++ to verification, modelling and debug
• Proposal and prototyping of new methodologies to improve efficiency
• Ownership and development of verification plans and environments

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

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