5 software-formal-method-phd uni jobs in Denmark

Academic employee at the Department of Food Science: Mass spectrometry (omics techniques) specialist for core facility

Aarhus University | Denmark | about 10 hours ago

, analytical chemistry or similar a PhD degree is considered a plus a solid understanding of protein chemistry, analytical chemistry, MS-omics techniques and bioinformatics a strong background in mass

Assistant Professor Position in Transient Electromagnetic Signal Processing, Modelling and Inversion

Aarhus University (AU) | Aarhus C, Region Midtjylland | Denmark | 2 months ago

, engineers, software developers, and geophysicists working on the development of next-generation airborne geophysical technologies. The position focuses on advanced numerical developments for transient

Full professor in Computer Science

Aalborg Universitet | Denmark | 3 months ago

Validation; Data Engineering, Science, and Systems; Distributed Sustainable Software and Systems; Formal Methods for Security and Privacy; Foundations for Interacting and Computing Systems; Human Augmentation

Full professor in Computer Science

Aalborg University | Denmark | about 5 hours ago

of Computer Science has the following research groups: Automated System Verification and Validation Data Engineering, Science, and Systems Distributed Sustainable Software and Systems Formal Methods for Security and

Assistant professor or tenure-track assistant professor in Distributed, Embedded and Intelligent Systems (DEIS)

Aalborg University | Denmark | about 1 month ago

Systems. The position is open to applicants to be affiliated with one of the research groups: Automated System Verification and Validation,  Distributed Sustainable Software and Systems,  Formal Methods