Python programozó állások Budaörsön 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

• Dashboard development with Power BI to visualize sustainability data and metrics
• Data integration from various sources including internal databases, external APIs, and third-party platforms
• Client reporting with customized visual analytics solutions

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

• Writing reusable, testable, and efficient code mainly in Python
• Delivering great user experience by the development of great user interfaces
• Handling security and data protection professionally and precisely
• Collaborative work to provide technical solutions and implement new software features

• Development and refinement of core sports betting models for predicting match outcomes
• Building and maintenance of player statistics models analyzing player performance
• Design and implementation of risk management models to optimize exposure

• Design and build innovative AI solutions combining advanced software development and data engineering
• Collaborate with global technologists, data scientists, and industry experts to transform businesses through advanced analytics and AI-driven solutions

• Online CRM kampányok tervezésének, szervezésének és megvalósításának támogatása, célcsoportok meghatározása és szegmentálása;
• Kampányokhoz kapcsolódó üzleti, pénzügyi és forgalmi elemzések, előrejelzések készítése;

• Leading architecture design
• Driving technology decisions
• Co-creating innovative products
• Mentoring clients to adopt Agile practices and engineering excellence
• Leading project workstreams
• Building scalable solutions using Agile methodologies
• Co-creating products with client teams

• Producing high quality code for the full technological stack from database to UI
• Assisting with troubleshooting basic issues
• Improving application performance by responding to specific problems and fixing defects
• Documenting and demonstrating solutions with a focus on security and performance

• Working across the software stack including firmware, operating systems, device drivers, compilers, runtimes and middleware
• Contributing to existing projects while exploring and prototyping ideas for the future
• Gaining hands-on experience across the software development lifecycle

• Collaboration with a global network of technologists, designers, and strategists
• Development of cutting-edge products
• Mentoring client teams
• Shaping engineering cultures
• Development of software products and services from the ground up

• Development, governance, deployment, and ongoing enhancement of liquidity analytics models and supporting infrastructure across asset classes
• Driving the analytics product lifecycle, including prioritizing initiatives, influencing roadmap decisions, and ensuring successful deployment into production

• Elosztott rendszerek, mikroszervizek és felhőalapú infrastruktúrák teljes körű observability-jének kiépítése
• Teljesítmény, elérhetőség és stabilitás javítása cutting-edge eszközökkel és módszertanokkal
• Nagyvállalati környezetben előforduló problémák feltérképezése, hibakeresés és dokumentáció

A vállalati SIEM (Security Information and Event Management) rendszer teljes körű üzemeltetése, konfigurálása, finomhangolása és folyamatos karbantartása;...

• Rendszertervezés
• Hibaanalízis és javítás
• Optimizációs javaslatok kidolgozása és megvalósítása
• Unit tesztek és integrációs tesztek végrehajtása, automatizálása
• Termékfejlesztési folyamat irányítása
• Üzleti és termékcélok megértése, alkalmazások felügyelete

• Adatforrások integrálása a vállalat új Data Lakehouse platformján
• Adatbetöltési folyamatok fejlesztése a vállalat új Data Lakehouse platformján
• Skálázható adatfeldolgozó folyamatok fejlesztése
• Adattranszformációk fejlesztése
• Adatfeldolgozó folyamatok optimalizálása

• Designing, developing, and evaluating machine learning models on complex telecom and retail data
• Translating business needs into actionable ML and AI solutions across marketing, customer care, and network operations

• Egyedi webes alkalmazások fejlesztése változatos projekteken
• Új felhasználói funkciók fejlesztése a Typescript használatával
• Komponensek és frontend könyvtárak építése jövőbeni felhasználásra
• Prototípus fejlesztésekben részvétel
• Backend oldali fejlesztésben részvétel

• 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

• Design, implement, and optimize compiler passes and transformations using LLVM/Clang or GCC
• Build and maintain robust toolchains
• Support new and complex architectures in compiler backends
• Work on architecture-agnostic and IR-level optimizations
• Work on silicon specific optimizations