Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- Technical University of Denmark
- Aalborg University
- University of Southern Denmark
- Nature Careers
- Aarhus University
- Aalborg Universitet
- University of Copenhagen
- DTU Electro
- Technical University Of Denmark
- Aarhus University;
- Copenhagen Business School
- Danmarks Tekniske Universitet
- Technical University of Denmark (DTU)
- UNIVERSITY OF COPENHAGEN
- 4 more »
- « less
-
Field
-
algorithms for speech enhancement using state-of-the-art machine learning techniques. You will design and evaluate models that leverage phoneme-level or discrete speech representations and conduct experiments
-
. The work includes theoretical analysis, algorithm design, and validation on realistic case studies, as well as dissemination of results through publications, open-source code, and collaboration with internal
-
vision to reduce algorithmic complexity by orders of magnitude, e.g. by tracing paths of trees and extraction from knowledge bases (KBs), as opposed to pure DL Defining specific CSK-premises (in
-
outputs, e.g. via computational linguistic analysis of output space distributions Linguistically motivated methods for analysing and securing LLM behaviour, including, e.g., LLM misbehaviour and
-
Validation ; Data Engineering, Science, and Systems ; Distributed Sustainable Software and Systems ; Formal Methods for Security and Privacy ; Foundations for Interacting and Computing Systems ; Human
-
-film solar cells. LightTrap covers the entire discovery chain, from ab initio calculations and photonic simulations to materials synthesis and nanostructuring, all guided by advanced AI algorithms
-
meetings Potentially participate in Arctic field campaigns Be working with large data sets and developing algorithms. You should be highly motivated, self-driven, and possess strong work ethics, team spirit
-
skills in the implementation of species distribution models and the modelling of species pools across natural and agricultural landscapes under transformation. Proven capabilities of acquiring, downloading
-
that include symbolic AI and formal methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing
-
Verification and Validation ; Data Engineering, Science, and Systems ; Distributed Sustainable Software and Systems ; Formal Methods for Security and Privacy ; Foundations for Interacting and Computing Systems