Sort by
Refine Your Search
-
scholar will join the Computational Logic Center (CLC) within the department of computer science. The CLC performs research across programming languages, formal verification, and automated reasoning, and
-
Fonden we have several postdoc and PhD openings in the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University. The research topics at the Center
-
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
-
research areas: (1) Environmental Social Science, Education and Communication/Meaning-Making and (2) Environmental Data Science and Spatial Computing. This job listing is for area one, which focuses
-
’ 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