Python programmer állások, munkák főiskolai végzettséggel

• 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

• Development, governance, deployment, and enhancement of liquidity analytics models and supporting infrastructure across asset classes
• Driving the analytics product lifecycle including prioritization, roadmap decisions, and deployment into production

• Design, optimize, and extend transaction surveillance and data pipeline processes
• Navigate between strategic, system-level architecture and function-level implementation details of surveillance system
• Optimize data architectures and databases for maximum performance and reliability

• Maintenance and enhancement of an automated market-making application
• Development and maintenance of C++ and python backend applications and services used in brokerage-related systems
• Investigation of issues in existing software, identification of root causes, and implementation of reliable fixes

• Design IT platforms, processes, and organizational structures for evolving Lakehouse on Azure
• Develop sustainable architectures, prototype solutions, and evaluate new technologies to drive innovation

• Design, development, testing, deployment, and maintenance of scalable and robust software solutions
• Collaboration with product owners, business analysts, and other stakeholders to understand requirements and translate them into technical specifications

• Kollaboratív robot vezérlőalgoritmusok fejlesztése és karbantartása Python nyelven
• Algoritmusok tesztelése, élesztése és beállítása a helyszínen
• Admittance/impedance alapú erőszabályozás implementálása és finomhangolása

• 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

• Designing and delivering engineering solutions for our businesses and customers
• Enhancing our infrastructure capabilities and functions with new and fresh ideas
• Performing and improving QA and Test Automation frameworks

• Development and operation of the product in an engineering team
• Production deployments
• Cloud automation
• Monitoring and alerting
• Incident management and post-incident analysis
• Identification and troubleshooting of platform issues

• Designing and implementing novel human-computer interaction concepts
• Developing prototypes using modern hardware, sensors, and software tools
• Exploring eye-tracking-based interaction techniques and user interfaces
• Conducting user studies and evaluating interaction concepts

• Design and implement enterprise-scale data pipelines and advanced analytics dashboards
• Develop and optimize data ingestion, transformation, and modeling workflows across structured data environments and cloud-based platforms

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

• Create and implement test strategies and concepts for all test levels in embedded, cloud, mobile and web applications
• Improve our development and testing processes, methods and tools, and support the development teams
• Plan, set up and maintain test environments and automation frameworks

Analyze AI computing systems end-to-end: Understand how training and inference workloads run on modern data-center architectures and identify the fundamental bottlenecks in compute, memory, interconnects and energy efficiency....

• 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

• An opportunity to build the foundation for next-generation products
• The option to write a master thesis following an internship or working student position
• Hands-on work on intrinsic, extrinsic, and multi-camera calibration for ZEISS use cases

• Lead design, development, implementation, validation, and continuous improvement of automation systems enhancing Inventory Control processes
• Drive automation projects from concept through deployment ensuring delivery on time, within scope, and aligned with business objectives

• 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