Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
verification of compiler optimizations in Rocq The position is for 15 hours per week. Starting on September 1, 2025 - or soon thereafter . The place of work is: Computer Science, Aarhus University - Åbogade 34
-
Job Description If you have solid practical experience in embedded systems, computer engineering, or related areas — and are excited to teach, collaborate, and shape the next generation of engineers
-
Job Description The Department of Mathematics and Computer Science at the University of Southern Denmark (SDU) in Odense is looking for student assistants for a position in the Section “Artificial
-
of results with international collaborators. Qualifications and assessment criteria: An PhD degree in bioinformatics, bioengineering, computer science or equivalent is preferred. Candidates with relevant MSc
-
algorithms, quantum software architecture and Quantum Computing. We offer Our new colleagues will become part of an inspirational international research environment with excellent facilities and strong
-
a PhD degree in pure mathematics, mathematical physics or quantum computer science. The candidates must further have an emerging research track in the field, evidence of excellent teaching at
-
, geometric analysis, operator algebra, number theory statistic, probability theory and mathematical physics, quantum algorithms, quantum software architecture and quantum computing. We offer Our new colleagues
-
, geometric analysis, operator algebra, number theory, statistic, probability theory, mathematical physics, quantum algorithms, quantum software architecture and Quantum Computing. We offer Our new colleagues