Sort by
Refine Your Search
-
Category
-
Country
-
on different aspects of programming language design, program verification and software engineering. Beyond technical collaborations, the group meets regularly and provides an engaging and supportive environment
-
it fit to run on a supercomputer. You will apply your newly developed simulation tools within different research projects. This new position is embedded in the international research project LION 2 on
-
-source modeling and verification environment based on UML/SysML. This software is used to quickly explore the design space and test different architectural solutions. Finally, LabSoC collaborates with
-
, imaging, drug discovery and behavioral experiments using different software. Publications Compiles reports for publication and funded or future grant applications. Publishes research findings in peer
-
to accomplish something new — complemented by teamwork and fostering personal relationships. From assistants, students, researchers, postdocs to professors; we are all working hand in hand, are highly committed