Programozó állások Budapesten (it programozás, fejlesztés)

• Shaping AWS-based cloud architectures and technical decisions for SaaS, PaaS, web application, and enterprise cloud environments
• Design and implementation of Infrastructure as Code solutions using tools such as Terraform, AWS CloudFormation, or Pulumi

• Developing testbenches and test cases to verify the design to high standards
• Investigating alternative options for existing design or verification implementations
• Developing and trialling new processes and flows to be used by the verification teams

• 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

• 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

• Ownership of data engineering features, architecture, and code quality
• Design, implementation, and maintenance of Databricks-based data pipelines and workflows
• Building and optimization of ETL/ELT processes using Apache Spark on Databricks

• Contribution to System IP microarchitecture specification and design
• Contribution in SystemVerilog, C and C++ to verification, modelling and debug to achieve required quality levels
• Proposal and prototyping of new ways and definition of methodologies to reach goals more efficiently

• ServiceNow megoldások tervezése megfelelve üzleti, funkcionális és megfelelőségi követelményeknek
• Szoros együttműködés a Scrum csapattal backlog elemek átdolgozása, követelmények tisztázása és pontos becslések készítése érdekében

• Power BI riportok és dashboardok fejlesztése és karbantartása
• Üzleti igények elemzése és technikai megvalósítása
• Adatmodellek és adatvizualizációk kialakítása
• PL/SQL alapú lekérdezések, tárolt eljárások és adattranszformációk fejlesztése
• Adatminőség és riportok validálása

• Chunking and ingestion architecture with deterministic, validation-gated pipelines handling diverse enterprise document types with indexing and contextual enrichment
• Retrieval pipeline with vector search, BM25 hybrid retrieval, RRF re-ranking, embedding model selection and optimisation

• Design and implement automation for storage provisioning, capacity management, and operational workflows using Python, Bash, and IaC tooling
• Drive reduction of manual toil through scripted workflows and self-service enablement

Technical and business support for GSCF applications supporting daily operations, fund accounting, financial reporting, and data processing functions...

• Architect and lead the development of large-scale ML systems and model pipelines
• Introduce new ML systems such as traffic sign detection, building facade detection, and other computer vision-based solutions
• Define and drive the ML technical roadmap in alignment with company objectives

• Design and development of low-level software to integrate new Arm architecture features across Linux, Android, and related userspace components
• Architecture, development, and optimization of core OS subsystems with a focus on performance, power efficiency, and security

• Writing and maintaining clean, high-quality, efficient and well tested code aligning with project specifications
• Architecting and implementing key abstractions bridging software engineering and DevOps
• Proactively identifying pain points in the platform and proposing elegant solutions

• Ownership and evolution of Tulip’s Cypress + TypeScript E2E automation framework
• Integration of automated test suites into CI/CD pipelines
• Research and implementation of load and performance testing strategies
• Application of AI-assisted tools to accelerate test generation and triage failures

Web alapú vállalatirányítási rendszer fejlesztése...

• Technical expertise and influence across LLVM compiler development for Arm and upstream
• Mentoring engineers inside the LLVM team and in the community
• Representation of Arm in the LLVM ecosystem with leadership in upstream contributions and community direction

• Active involvement in the software design and test of reference application processor firmware
• Low level software development, test and debug on various platforms including software models, development boards and shipping products

• Design and build artificial intelligence and machine learning solutions for enterprise clients
• Operationalize AI and machine learning solutions combining custom models with cloud and third-party AI services
• Assess client needs and data for AI/ML 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