Python állás, munka

• implementing and testing network theory and statistical algorithms
• participating in the documentation of research and development grant applications
• scientific literature search and processing
• communicating with research partners
• working according to ISO 9001 standards

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 Develop flow...

Be involved in System IP microarchitecture specification and design Participate in SystemVerilog RTL verification and debug; formal bring-up of non-trivial IP blocks to achieve required quality levels (SystemVerilog/UVM, Formal, scripting) Work closely with engineers across design, performance...

• Development and implementation of numerical models for simulating microbial transport in porous media
• Modelling hydrogen conversion by subsurface microorganisms using suitable bio-chemical reaction kinetics models

• Contributing to the development of prototype versions within the framework of the PINEm technology transfer project at KIT
• Participating in meetings with the project and development partners Bilfinger and the University of Leeds, as well as maintaining regular communication with project partners

Build and maintain simulation environments using NVIDIA Omniverse and Isaac Sim for robotic perception, manipulation, and navigation. Develop and integrate robotic behaviors and learning pipelines using Isaac Lab for reinforcement learning and motion planning. Create and manage OpenUSD-based...

• Ensure consistence of defined scope of test means with the testing strategy
• Derive test means requirements from test objectives
• Support / Drive test bench development and design
• Follow-up SUT (System under Test) development and validate delivery to the test facility

Be involved in the design process of SoCs by integrating the latest Arm IP products while ensuring correct functional behaviour. Develop RTL code using System Verilog. Run EDA tools to check the design and analyze results. Identify and fix bugs. Work directly with engineers across the company to...

Analysis of avionics system design/requirements requirements Develop executable test plans which address technical specification verification requirements Definition and adaptation of design requirements to mission data generation, incl. workflow definition Support tests evaluation of system...

ARE YOU PREPARED FOR THE FUTURE? AI, AI SIR! Artificial Intelligence and machine learning are at the cutting edge when it comes to shaping next-gen mobility in areas like automated driving. But it takes real intellectual leadership and expertise to identify and then harness the AI trends and...

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...

• Design of Beckhoff PLC programs (TwinCAT3) based on project specifications and documentation
• Design of safety programs (TwinSAFE)
• Support the development of standardized code blocks
• Test and commissioning of the PLC systems in the field
• Investigate and solve technical issues in the field

As a Research Engineer, you will develop cutting-edge Vision-Language-Action (VLA) architectures that empower AI agents to interpret human instructions and act autonomously in complex environments....

• Development of firmware for MicroTCA-based motion controller system
• Contributing to system architecture and specifications of firmware modules for scientific data acquisition systems and photon science experiments
• FPGA firmware design using VHDL (for AMD/Xilinx FPGAs)

• Leading engineering projects incl. team lead for vehicle power net testing & vehicle diagnostic
• Plan, execute, document, publish & present status & results to internal & external customers
• Use tools like CANalyzer, CANoe, and data loggers to collect and analyze system data