Python állások, munkák

• 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

• Maintenance of the Tulip Operating System including building, packaging, and support
• Configuration and maintenance of routing, networking, and device configurations
• Maintenance and addition of bootloader, kernel patches, and device trees on Tulip hardware
• Porting the Tulip OS to other hardware targets

• Build And Maintain Data Models And Pipelines Primarily Using AI Coding Tools
• Build And Improve Agentic Coding Workflows To Accelerate Data Modeling And Testing
• Partner With Stakeholders To Surface Conflicting Metric Definitions And Run Alignment Workshops

Researching and designing new performance attribution models Collaborating with software developers to test and release new models into production Supporting existing performance attribution models in production Developing and improving model quality control and model performance monitoring...

Play a key role in shaping Group-wide data governance by ensuring data is trusted, discoverable, and responsibly used across the organization, with a strong focus on the Group Data Catalog (Data Galaxy)...

• Cloud Operations: Design, implement, monitor, maintain and optimize the SAP Sovereign Cloud system landscape for Germany.
• Setup of a multi-system landscape architecture and integration aspects between heterogeneous system technologies.

• End-to-end AI solution ownership from problem definition through prototype validation and production support
• Partnership with product managers and business stakeholders to translate real-world problems into data science and AI initiatives

• Develop diagnostic and troubleshooting functions to quickly identify root causes and propose correct corrective actions
• Collaborate closely with system and function owners in development projects to ensure strong diagnostic support built in

You will design and write a master's thesis on predictive maintenance for the electric heating elements of a commercial dishwasher....

Lead and collaborate with cross-functional teams to generate digital biomarker signatures from complex datasets using AI/machine learning, enabling target engagement assessment, patient stratification, and early signals of biological activity....

• An agile work environment with the possibility to work on various tasks for frontier research on medical applications
• A dynamic, motivated, diverse team with a large and active student community
• A modern office culture mixed with flexible working hours

• CI/CD pipeline-ok kialakítása, fejlesztése és karbantartása
• Deployment és release folyamatok automatizálása
• Cloud infrastruktúrák üzemeltetése és optimalizálása
• Konténerizált környezetek kezelése (Docker, Kubernetes/OpenShift)
• Monitoring, logging és alerting rendszerek kialakítása és üzemeltetése

• Software design and test of reference application processor firmware
• Low level software development, test and debug on various platforms
• Creation of software stacks for Arm’s reference platforms for future Arm devices
• Development of test code for software stacks

• Managing complex database systems within a global technology ecosystem
• Building and managing Database hosting capabilities using Infrastructure as Code for all platform needs
• Building Database Infrastructure Platforms with developers and providing guidance and tooling to handle distributed systems

• Guidance in adoption of NVIDIA's compute, networking, and software stacks
• Delivery of end-to-end GenAI and Agentic AI solutions
• Sharing knowledge through demos, proof-of-concepts, papers, and developer blogs
• Collaboration with executives and engineering to solve complex problems

• Developing scalable library software using modern tools and languages for various numerical methods
• Performance tuning, optimization, and benchmarking of algorithms on various architectures

• Translate business requirements into technical solutions through workshops, prototyping, and iterative delivery
• Collaborate with customers across the delivery lifecycle (workshops, reviews, UAT) to refine and optimize solutions