Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
solutions and policy impacts. You will design and implement machine-learning algorithms that interact with your simulation framework for scenario discovery, building surrogate models of simulation outputs
-
logics 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
-
Department of Computer Science at Aarhus University (Denmark) invites applications for a 2-year Postdoctoral Research Fellow position with focus on Algorithmic Verification of Database Systems. Role
-
learning representations and improve their interactivity. Make AI explanations more understandable Machine learning algorithms often appear as complex black boxes and much research goes into visualizing
-
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
-
key responsibilities will include: Designing and implementing advanced LabVIEW and C++ based control software for our HS-DAFM platform Developing specialized signal processing algorithms and circuits
-
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
-
solvers and optimization algorithms for 1 year and 4 months. The Section of Solid Mechanics conducts research and teaching in the fields of structural and materials mechanics, vibration and their active
-
an optimal molecular representation (including data procurement) and integrating generative model and binding oracles. Propose an algorithm to bias the generative models towards desirable properties, such as