Python állások XVII. kerületben (programozó, fejlesztő)

• 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

• Working across the software stack including firmware, operating systems, device drivers, compilers, runtimes and middleware
• Developing high-performance software for Arm’s advanced architectures, CPUs, system IP, and integrated sub-systems
• Exploring firmware and OS interactions

• System IP microarchitecture specification and design
• SystemVerilog RTL verification and debug
• Formal bring-up of non-trivial IP blocks to achieve required quality levels

• Technical management of a team of 2-3 AI and cloud engineers focused on fast prototyping of AI/ML solutions in AWS cloud
• Mentoring and technical support to junior and medium teammates
• Acting as a trusted advisor to clients
• Development of highly scalable services realizing AI/ML functionalities

• Design and build innovative AI solutions combining software development and data engineering
• Collaborate with global technologists, data scientists, and industry experts to transform businesses through analytics and AI
• Develop scalable data pipelines for machine learning and AI applications

• Build, operate, and improve production data pipelines using Python, Airflow, Kubernetes, and related technologies
• Design scalable data pipelines and data models for growing data volumes and processing needs

• Deliver reporting that matters – handle internal requests for reports, dashboards, and data extracts, change requests, and data exploration needs.
• Build with Power BI – design and maintain dashboards using data lake sources (SQL, Databricks).

• Technical leadership and mentoring of data engineers
• Technical oversight for Databricks solutions
• Design and implementation of scalable ETL/ELT pipelines using Databricks, Python/PySpark, SQL, and Delta Lake

• Design, deploy, and manage scalable cloud and hybrid infrastructure environments with a primary focus on automation, reliability, and security
• Build and maintain Infrastructure-as-Code solutions using Terraform and other automation tools to provision and manage AWS and on-premises resources

• Data pipeline development
• Data integration
• Data warehousing
• Data modelling
• Data quality and governance
• Performance optimization
• Collaboration with data scientists and analysts
• Technology selection
• Security and compliance
• Monitoring and troubleshooting

• Design and implement automation for storage provisioning, capacity management, and operational workflows using Python, Bash, and IaC tooling
• Drive reduction of manual toil through scripted workflows and self-service enablement

• Labeling of image data for training of object recognition
• Programming of data acquisition pipelines in Python or C++
• Frontend development of a browser client in Three.js
• Design of 3D props and environments in Blender and Omniverse
• Linux server administration, particularly DGX Spark and Jetson

• Implementation and improvement of business objects for mobile network infrastructure in backend systems up to the API layer
• Development and maintenance of business objects including data models, backend logic, and APIs

Shaping and evolving the architecture of MDO network automation capabilities including reusable automation patterns, interfaces and technical guidelines...

• Building and operating Kubernetes platforms on Open Telekom Cloud
• Managing Infrastructure as Code with Terraform and Terragrunt
• Implementing GitOps delivery using ArgoCD
• Operating PostgreSQL and Apache Kafka on Kubernetes
• Integrating security controls into CI/CD pipelines

• 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 and build scalable, high-performance distributed systems and microservices.
• Develop concurrent applications using robust multi-threaded architecture in Linux environments.
• Leverage AI developer tools like GitHub Copilot and Claude Code to accelerate the SDLC.

• Active involvement in the software design and test of reference application processor firmware
• Low level software development, test and debug on various platforms including software models, development boards and shipping products

• Nemzetközi csapat tagjaként hosszú távú tesztelési feladatok különböző projektekben
• Új automatizálási keretrendszer fejlesztése low-code tesztautomatizáláshoz
• A keretrendszer karbantartása, gondozása és folyamatos továbbfejlesztése
• Innováció és új technológiák aktív bevonása és alkalmazása

• Design and implement cloud security controls across AWS, Azure, and GCP
• Build security automation using CI/CD pipelines, Infrastructure as Code, and Policy as Code
• Develop automated compliance checks and remediation workflows