Sol developer állások, munkák II. kerületben

• 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

As part of a senior team, You will manage technical due diligence workstreams in E&P business development projects — define DD scope and timeline, coordinate multidisciplinary technical teams, deliver inputs for valuation and review outputs to ensure a consistent investment view....

• Writing technical documentation for aiMotive's SW products and solutions in English
• Supporting SW development customer projects with user-centered content
• Preparing and editing internal process and developer documentation
• Close cooperation with Software Development teams and Product Management

• Development and improvement of football ball and player tracking algorithms using multi-camera systems
• Contribution to multi-view geometry solutions for accurate tracking across the field of play
• Support for approaches to handling occlusion and recovery in fast-paced sports scenarios

• Dashboard development of Power BI dashboards to visualize sustainability data and metrics
• Data integration from various sources including internal databases, external APIs, and third-party platforms

• Design and develop the frontend functionality for a Microsoft Outlook Add-in based on an existing Next.js frontend
• Implement the web-based Outlook Add-in using Office.js based on a design provided by the internal team
• Integrate frontend components with backend APIs developed by the internal team

• Maintenance of existing Android application with focus on stability, reliability, and production readiness
• Investigation, prioritization, and fixing of critical and high-impact bugs especially around release periods
• Provision of timely fixes to unblock scheduled releases

• Support modernization, stabilization, and enterprise readiness of existing Windows desktop applications
• Improve installer architecture
• Standardize deployment workflows
• Enhance CI/CD pipelines
• Ensure reliable update and installation experience
• Maintain and stabilize existing auto-update mechanism

• 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

• Building complex financial analysis utilizing Microsoft Excel, Python, Alteryx, KNIME, Power BI & Tableau
• Taking part in significant international transaction projects
• Collecting, researching and analyzing data related to the client’s business operations