Python állások, munkák Budapesten

• 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

• Fraud és AML alkalmazások üzemeltetése, stabil működés és rendelkezésre állás biztosítása
• Stabil L2 működés kialakítása és szakmai támogatása
• Komplex incidensek és problémák L3 szintű kezelése, mély technikai hibakeresés
• Pontos, érthető kommunikáció az incidensekről és változásokról

• Automation and streamlining of fraud investigation processes
• Improvement of tooling for fraud investigations
• Creation of seamless experience for agents and customers during fraud investigations
• Development of innovative solutions to tackle fraud

• Design and ship production-grade agentic systems
• Take technical ownership of Compliance in a Box (CiaB) AI platform
• Architect and evolve AI reasoning layer and agent orchestration framework
• Build and maintain the GRC Brain (AI reasoning layer) and Agentic Cortex (agent orchestration framework)

• Komplex adattárház és üzleti intelligencia igények felmérése, megoldások tervezése, megvalósításának szakmai koordinálása, kapcsolattartás az üzleti területekkel.
• Önálló BI megoldások, operatív és vezetői riportok tervezése és fejlesztése.

• Design and build scalable, reusable frameworks and services for data ingestion, transformation, and processing
• Develop and maintain the platform’s core capabilities such as orchestration, data quality validation, and schema management tools

• Integrating rendered layers
• Producing the final look of the shots
• Creating and managing additional lighting tasks

Assess and document downstream impact of Skills and Job Architecture data quality issues across payroll processing, management reporting, third-party integrations, and AI/machine learning model inputs...

• collaborating on the design and development of ML‑based applications and their backend components
• helping to select the most applicable solutions for a given business problem
• writing clean, efficient and well‑documented code
• contributing to our MLOps processes

• Pénzügyi és kontrolling folyamatok fejlesztése, üzemeltetése
• Üzleti és operatív működési döntések támogatása elemzésekkel, kimutatásokkal
• Informatikai rendszerünk fejlesztésében való részvétel
• Heti/havi fizetések köthető adminisztráció
• Alvállalkozói teljesítés igazolások ellenőrzése

• A bécsi és müncheni laboratóriumok automatikus szoftverbetöltési folyamatainak felügyelete és a zavartalan működés biztosítása.
• A tesztpadok (test rig boards) átfogó monitorozása, állapotuk nyomon követése és a karbantartási folyamatok koordinálása.

Kockázati stratégia és kontroll: Közreműködés a piaci és partnerkockázati stratégiák, politikák és a limitrendszer (volumen, sensitivity, VaR, P&L, koncentráció) kialakításában. A jóváhagyott limitek betartásának ellenőrzése, limittúllépések jelentése és intézkedési javaslatok kidolgozása....

• AI-eszközök bevezetésében, integrációjában és üzleti környezetbe történő beágyazásában való aktív közreműködés
• Üzleti igények feltérképezése, valamint AI use case-ek üzleti és technológiai megvalósíthatóságának értékelése

• Digitalizációhoz kapcsolódó projektek és fejlesztések szakmai támogatása, koordinációja az igény létrejöttétől a projekt lezárásáig
• Ügyféligények és üzleti folyamatok felmérése, elemzése, fejlesztési lehetőségek azonosítása

• Creation of 3D rigs for different types of objects, animals and characters
• Collaboration with the visual effects supervisor and Lead CG to determine the best possible technical and creative approaches
• Delivery of work within established project targets and high quality standards

• Operation, maintenance and scaling of database platforms handling terabytes of data
• Design of scalable, reliable database architectures for different workloads and availability requirements
• Support and optimization of databases including PostgreSQL on AWS RDS, ClickHouse, and YugabyteDB

Ready to fast‑track your career and take on real global challenges? ...

• Eszköz-Forrás Menedzsment (ALM) területen használt likviditási és banki könyvi kamatlábkockázati modellek, módszerek fejlesztése(magyar, külföldi operáció)
• Részvétel a mérlegmenedzsment által használt adatbázisok, adatkörök fejlesztésében
• ALM Dashboard fejlesztése

• Build-from-zero applications powered by the HawkAI Engine
• Bridge machine learning models and real-time data pipelines into APIs and user interfaces
• Integrate AI-assisted development tools into software architecture and data integrity workflows

• learning state‑of‑the‑art new technologies
• acting as a team member in BI‑focused engagements