Huaweis Hilbert Research Center is a product-motivated research and development center. We do research on industrial formal methods, weak memory model and concurrency, parallelization, and the full systems stack from hardware over operating system to web/rendering
Huaweis Hilbert Research Center is a product-motivated research and development center. We do research on industrial formal methods, weak memory model and concurrency, parallelization, and the full systems stack from hardware over operating system to web/rendering
Software Engineering Du bist zukunftsorientiert und möchtest die digitale Zukunft aktiv mitgestalten, sicherer machen und Usern den Umgang so bequem und verständlich wie möglich gestalten? Logisch denken, Lösungen finden und reale Welt abstrahieren klingt für dich
Mendix - the leading low-code application development platform: The Mendix Platform uses visual modeling to abstract long-form coding out of application development. Our customers use Mendix to create and deploy better software for the enterprise, faster.