Sort by
Refine Your Search
-
formal verification of automation systems. Engage in teaching at undergraduate and master's levels, if required. Collaborate with partners across academia, industry, and society. Qualifications PhD degree
-
. Contribute to research projects within discrete-event systems, supervisory control theory, and formal verification of automation systems. Engage in teaching at undergraduate and master's levels, if required
-
’ applicants will be notified by email of the final ranking list. 14. Prior Hearing and Deadline for Final Decision: After being notified, candidates have 10 working days to submit a formal rebuttal. Within the
-
. Establish independent research areas. Required qualifications: As a formal qualification, you must hold a PhD degree (or equivalent) in computer science, computer engineering, or electrical engineering
-
. Integrating new pumping systems and verification of aseptic bubble-free long-term perfusion. Characterizing oxygen and metabolite distribution by advanced microscopy. Performing month-long culture of stem cell
-
in time-predictable computer architecture. Designing a network-on-chip for real-time automotive systems Verify the design with modern verification methods, such as function verification and formal
-
a cluster hire across two research areas: (1) Environmental Social Science, Education and Communication/Meaning-Making and (2) Environmental Data Science and Spatial Computing. This job listing is for
-
a cluster hire across two research areas: (1) Environmental Social Science, Education and Communication/Meaning-Making and (2) Environmental Data Science and Spatial Computing. This job listing is for