Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science, University of Southern Denmark (SDU, Campus Odense or Vejle) invites applications
-
Faculty of IT and Design, Department of Computer Science, a 2-year Postdoc position in theories for programming semantics, methods for verification and reliability assurance of combined classical and
-
At the Technical Faculty of IT and Design, Department of Computer Science, a 2-year Postdoc position in theories for programming semantics, methods for verification and reliability assurance
-
Job Description The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science, University of Southern Denmark (SDU, Campus Odense or Vejle) invites
-
fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus of the position
-
Postdoctoral Positions in PFAS Analytics, Degradation, and Thermophysical Properties - DTU Chemistry
of complex mixtures, including experimental measurement techniques and/or computational methods. As a formal qualification, you must hold a PhD degree (or equivalent) in chemistry, chemical engineering
-
on developing performant predictive and prescriptive monitoring solutions for user-centred formal models, with a special focus on explainability with of such re priorities put on the final explainability
-
molecular biology and microbial genetics As a formal qualification, you must hold a PhD degree in molecular biology (or equivalent). We offer DTU is a leading technical university globally recognized
-
barrier structures and associated vessel operations. However, the mechanical design and verification of standardised subsea HVDC electrode units require a rigorous understanding of environmental loading
-
assays to evaluate the performance of designed enzyme variants, including verification of assay performance by HPLC-based analysis Express designed GH variants and evaluate their performance Supervise BSc