Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
about the department at www.es.aau.dk . Description of the position The position focuses on developing next-generation learning-based decision-making and control for autonomous robots operating safely in
-
successful candidate will contribute to developing new cryptographic network protocols based on quantum resources. A particular focus is given to secure multiparty computation protocols where participants
-
. The postdoctoral 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
-
closely related field, with a strong background in AI/ML technologies, including algorithm development, optimization, and data-driven modeling. Candidates are expected to demonstrate research leadership
-
candidate has an MSc in Computer Science and is interested in theory, development, or usage of formal methods. Fluency in English is required. Hosting environment FORM is embedded in the Section of Artificial
-
candidate has a research track record at a high international level (reflecting the academic age of the applicant) and experience in theory, development, or usage of formal methods. Fluency in English is
-
The Department of Mathematics and Computer Science (IMADA) at the University of Southern Denmark, Odense, invites applications for a PhD position in algorithms. The position has a duration of 3
-
thereafter. We are seeking a highly motivated quantum algorithms researcher to develop advanced computational methods for solving partial and ordinary differential equations (PDEs and ODEs) with applications
-
the opportunity to develop intelligent technologies, collaborate across scientific, engineering and clinical disciplines, and contribute to innovations shaping the future of clinical and healthcare systems
-
for the quantum-classical control and readout interface, and all the way to quantum algorithms and applications. The long-term mission of the programme is to develop fault-tolerant quantum computing hardware and