28 formal-verification-computer-science PhD positions at University of Southern Denmark
Sort by
Refine Your Search
-
Applicants should hold a relevant MSc degree in electronics, electrical engineering, computer engineering, or related fields. Required Qualification: Solid background in digital CMOS design and deep learning
-
Job Description The Department of Mathematics and Computer Science at the University of Southern Denmark, Vejle, invites applicantions for PhD positions with a focus on Software Architectures and
-
of classical computers will require thousands, or even millions, of qubits. This creates a major engineering hurdle: interconnect complexity. Each qubit needs dedicated control and readout lines, which
-
. Cox. The position is available starting 1 December 2025. The successful candidates will work on developing new theoretical models and computational methods to investigate the emergence and properties
-
. software or computer science) and the desired candidate is expected to have knowledge within relevant areas, e.g. within software technologies for programmer support, hardware set up, data modeling and data
-
to the PhD Secretariat, Faculty of Health Sciences, to be enrolled as PhD students. The PhD programme will be carried out in accordance with Faculty regulations and the Danish Ministerial Order on the PhD
-
, Computers in Industry, Technological Forecasting & Social Change, Journal of Technology Transfer, etc. The SDU TEI section is a highly international and interdisciplinary group of faculty members, with
-
familiar with moral philosophy and political philosophy. Experience with philosophy of economics will be an advantage but is not a requirement. To be eligible for the position, the applicant must have