Python állás, munka

• az Állami Számvevőszék egyedi, PHP 8.x, Laravel 11.x, Livewire, PostgreSQL alapú modern webes alkalmazásainak fejlesztésében való részvétel;
• „full stack”: adatbázis, front- és back-end fejlesztés;
• a kódbázis színvonalának fenntartása automatizált és integrációs tesztekkel;

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

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

Building a world-class AI platform designed to be deployed across diverse sectors and functions Developing transformative technology for the firm Working within a product team of engineers, designers, and product managers to develop impactful AI solutions Combining software and data engineering...

Build and maintain simulation environments using NVIDIA Omniverse and Isaac Sim for robotic perception, manipulation, and navigation. Develop and integrate robotic behaviors and learning pipelines using Isaac Lab for reinforcement learning and motion planning. Create and manage OpenUSD-based...

Design, develop, and maintain components of the deployment stack and software kernels for AI compute platforms Optimize and implement core ML operators (e.g., GEMMs, convolutions, BLAS routines, SIMD kernels) Translate computational graphs from ML frameworks onto the underlying hardware Contribute...

Design, prototype, and refine LLM-based features over large document sets Orchestrate multi step, agentic workflows and tool calling (including MCP servers and other integrations) so LLMs can take meaningful actions, not just generate text Define evaluation frameworks, experiments, and metrics to...