Informatika állás, munka

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 and implement security measures for systems built on Microsoft technologies, including Windows Server, Azure, and Microsoft 365
• Configure and manage Microsoft security tools such as Defender for Endpoint, Defender for Identity, and Defender for Cloud

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

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

• Support the team in designing and developing an internal dashboard to visualize real-world data from diabetes care
• Explore, define, and implement selected dashboard use cases; actively contribute to deciding which use cases provide the most value

• a cover letter (max. 1 page)
• a Curriculum Vitae with date of submission, including teaching and supervisory track record; outreach activities; a list of acquired competitive funding, including role and amount awarded to the candidate