Python programozó állások, munkák speciális mérnöki területek kategóriában

• 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

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

• a közép-európai régióban koordinált üzembiztonsági számításokhoz kapcsolódó elemzések készítése,
• áramlás-alapú piac-összekapcsolás piaci és átviteli hálózatra gyakorolt hatásának elemzése, vizsgálatára.
• Vezetői döntés-előkészítő anyagok készítése felső vezetés és/vagy szabályozó hatóságok részére.

• Build and maintain simulation environments for mobile robotic perception and navigation
• Develop and integrate robotic behaviours and learning pipelines for reinforcement learning and motion planning in complex outdoor environments

• Support transmission system operators and distribution system operators in planning the power grid of the future
• Work directly with clients as part of international consulting project teams
• Perform power system analyses including power flow, voltage, short-circuit, N-1, and redispatch

• 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

• 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

• autóipari elektronikai termékek gyártási és funkcionális tesztfolyamatainak támogatása;
• SMT-gyártósorokhoz kapcsolódó tesztelési és hibaanalízis-feladatok ellátása;
• elektronikai vezérlőegységek és nyomtatott áramköri lapok tesztelése;

• Designing and optimising ultra-low phase noise OCXO architectures for defence, aerospace and precisiontimingapplications.
• Developing oscillator circuits, sustaining amplifiers and thermal control systems to achieve phase noise and frequency stability performance.

• Develop and optimize quantum sensor concepts based on qubit systems and quantum effects.
• Perform advanced numerical simulations and modeling of qubit-based sensing systems, including relevant physical processes, noise sources and system-level performance.

• experimental and simulation-based investigations of optical diffractive neural networks based on MEMS-Phase Light Modulator
• application of the of the diffractive neural network with multimode fibers for novel routers and multiplexers

• Developing concepts for surgical 3D scene understanding and computer-assisted surgery, with a focus on 4D Gaussian Splatting, stereo and surface reconstruction, and multimodal sensor fusion
• Evaluating concepts on curated datasets and in own lab experiment settings

• Work as part of an interdisciplinary team of advisors and engineers alongside other experts to support delivery of T&D infrastructure projects.
• Contribute to, and lead, the design of HVAC and/or HVDC packages trough all design stages from concept to construction and hand-over.

• Perform structural and dynamic simulations using LS-DYNA for automotive and battery applications, including vibration and dynamic load scenarios
• Conduct thermal and electro-thermal simulations using ANSYS Workbench and APDL

Develop next-generation discrete ESD and TVS protection devices for high-speed, RF sensitive and automotive applications....

• Development and testing of concepts for physical AI in surgery
• Exploring how modern AI and computer vision techniques can be employed for surgical scene understanding, synthetic data generation, and robotic automation for surgical tasks

You will develop a novel mathematical approach for the comprehensive modeling of pin winding systems (hairpin windings), thereby laying the foundation for innovative electric machine designs....