Informatika állás, munka

Writing reusable, testable, and efficient code, mainly in Python Mastering the integration of user-facing elements developed by front-end developers with server side logic Being a magician of integration of data storage solutions Handling security and data protection professionally and precisely...

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 Develop flow...

• Design, develop, test, and ship robust, maintainable, and readable software, applications, APIs, and workflows.
• Bring in industry standards and best practices to continuously simplify the current software architecture to reduce complexity and maintenance cost.

• Design our software, analyze problems and implement your solutions independently focusing on C++ development and network protocols
• Develop complex software modules together with our agile development teams

• You'll design, build, and operate the highly available cloud services that our AI features run on.
• Take full end-to-end ownership of deliverables, driving tangible outcomes while mentoring and developing less-experienced engineers.

• Foster scalable data and analytics infrastructure to support the development and deployment of GenAI solutions
• Construct and refine (Gen) AI models, prompts, and related analytical components

Translating business needs into scalable AI solutions Developing enterprise-grade AI solutions Working effectively in a collaborative, multi-disciplinary, and global team environment...

• Development of software concepts and software architecture including exception handling for fast feedback systems of the PETRA IV project
• Review of software requirements, design and functionalities for the PETRA IV project

Collaborate closely with customers to understand their business and translate requirements into high quality software. Expect to visit our customers around 2-3 times per week....

• Supporting the development of an ontology for the aerospace engineering domain
• Developing programmatic and graphical user interfaces for interacting with the aerospace knowledge base
• Establishing security protocols for knowledge base users

• Design, Prototype and experiment, turning new ideas into tangible MVPs and proofs of concept through refining them with feedback from consultants and clients.
• Lead the development of AI products tailored to real business challenges — from concept to scalable implementation.

Be involved in the design process of SoCs by integrating the latest Arm IP products while ensuring correct functional behaviour. Develop RTL code using System Verilog. Run EDA tools to check the design and analyze results. Identify and fix bugs. Work directly with engineers across the company to...

• System Design: Develop software systems for large-scale robotic data collection, ensuring reliability and scalability.
• Engineering Principles: Apply structured practices to build maintainable, modular, and testable codebases.

Developing scalable library software using modern tools and languages for various numerical method. Performance tuning, optimization, and benchmarking of algorithms on various architectures. Working closely with leadership team and other internal and external partners to understand feature and...

Our backend systems are the backbone of ING's Daily Banking platform – and this is where you come in. You'll design, develop, and maintain reliable backend applications and services using modern frameworks like Spring Boot, Java and Kotlin, providing the power our systems need....

• Development and maintenance of the software products running on our embedded device(s) and PCs onboard and in-house
• Troubleshooting in case of operational issues as well as bug fixing

• Engineering of Cloud-based Web Applications for the optimization of internal processes
• UI Development (Coding & Styling)
• Backend development

• Agile development & configuration (front- & backend) of an international PIM/MDM solution
• Build & further enhance our PIM/MDM data models based on complex business requirements
• Code review & unit testing and perform quality assurance and testing (error analysis, bug-fixing)

Design and implement cloud-native data pipelines using GCP services such as BigQuery, Dataflow, Dataproc, Pub/Sub, Cloud Composer, and Cloud Storage Develop and optimize data ingestion, transformation, and orchestration workflows for analytics, BI, machine learning, and large-scale processing use...

• setup, maintain and support Linux machines for testing and integration processes
• develop and customize tools and software layers
• collaborate with internal clients in a high-tech environment (aerospace)
• troubleshoot and document complex issues
• work proactively and solve difficult problems independently