59 algorithm-"EPFL"-"INSAIT---The-Institute-for-Computer-Science" positions in Denmark
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
contributing to developing and implementing novel algorithms at the intersection of computational physics and machine learning for the data-driven discovery of physical models. You will be working primarily with
-
for behavioural and security properties; efficient algorithms for model checking, learning and synthesis; improved explainability and safety of machine learning models, e.g. by integrating neural and symbolic
-
expertise in autonomous marine systems. The research focus will be on development, implementation and verification of novel algorithms for motion planning and control of autonomous underwater vehicles. You
-
degradation modes. Evaluating suitable sensor technologies and data sources for acquiring relevant metrics. Developing tools and algorithms to automatically analyse sensor data, assess asset condition, and
-
enable the development of fault-tolerant quantum computing hardware and quantum algorithms that solve life-science-relevant chemical and biological problems. Within NQCP we are currently pursuing several
-
to have experience with: Phase equilibrium calculation algorithms and their integration into CO2 capture simulation Thermodynamic modeling of phase equilibrium and thermophysical properties related to CO2
-
, generative design, building performance optimization, digital design methods (e.g., predictive modeling, multi-agent systems and algorithmic techniques for architectural design), digital design epistemologies
-
techniques for integrating such solutions into modern SDV middleware. Responsibilities: Conduct research in runtime analysis and reconfiguration of in-vehicle TSN networks. Develop algorithms and prototypes
-
the Department of Immunology and Microbiology, Faculty of Health and Medical Sciences. This role involves developing and applying advanced bioinformatics algorithms to investigate the functional diversity
-
well as developing solution algorithms applying mathematical and computational approaches. The group has a particular focus on automated decision making in autonomous cyber-physical systems. Autonomous systems and