24 software-verification-computer-science-"TCAT-Jacksboro" PhD positions at University of Southern Denmark
Sort by
Refine Your Search
-
21 Aug 2025 Job Information Organisation/Company University of Southern Denmark Department Department of Mathematics and Computer Science Research Field Computer science Researcher Profile First
-
engineering, or a closely related field. Knowledge on SSM algorithms, Hands-on experience with layout and tape-out of CMOS chips. Experience in AI chip prototyping and hardware-software co-design. Solid
-
. The successful candidate will be asked to apply to the PhD school, Faculty of Health Sciences, SDU for enrolment as PhD student. The PhD programme will be carried out in accordance with faculty regulations and the
-
Experience in mass spectrometry-based proteomics, structural biology, or CRISPR-mediated gene editing Proficiency in computational data analysis Strong communication and collaborative skills and an interest in
-
three years. Employment stops automatically at the end of the period.(the 5+3 programme ). Further information about the PhD programme at the Faculty of Science can be found at the homepage
-
Prof. Daniel Merkle. The overall research project is based on the novel application of formalisms, algorithms, and computational methods from computer science to the design of microbial communities
-
, Biomedicine, or Computational Systems Biology. Experience with NGS data or single cell-sequencing analysis is required. Competence in adipose tissue biology, cell culture work or mouse physiology would be
-
, the department is responsible for the teaching of other legal subjects offered at SDU, e.g. on the Master’s programme in Business Economics and Auditing, on the engineering programmes, on the Bachelor programmes
-
. 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
-
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