Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
-proof. You will contribute to the CYCLIC project : Cyclic Structures in Programs and Proofs , a collaboration among five Dutch universities, uniting experts in cyclic structures, coinduction, program
-
-class expertise from eight Dutch Universities, five Research Institutes and relevant societal stakeholders that play a major role in research and management of the North Sea. The six-year program (2025
-
Location ESTEC, Noordwijk, Netherlands Description PLATO Mission and Payload Manager. PLATO is the third medium-sized mission of the European Space Agency’s Cosmic Vision science programme and is
-
tumour response to treatment can then bring this much-needed clarity, and implementing this understanding into computational tools can provide the potential for rapid clinical response to patients
-
studies independently, working with diverse datasets, developing algorithms and decision rules, and contributing to the refinement of data-driven intervention strategies. Tasks As a postdoctoral researcher
-
intelligence and machine learning technologies/algorithms Background in software engineering and programming languages, data analysis and BI tools Proven experience in technical project and service management
-
structure, and of the force and tidal field that has been shaping the cosmic web. The basic detection algorithms to infer the overall structure of the cosmic web are the various versions of the scale-space
-
on the resulting algorithms and pipelines. As an emerging paradigm, differentiable programming builds upon several areas of computer science and applied mathematics, including automatic differentiation, graphical
-
Computer Science, Information Science, and Artificial Intelligence and a number of research Master's programmes in these fields. It employs over 200 people, working in four divisions: Algorithms, AI & Data Science
-
Recognition Machine Learning and Pattern Recognition are subareas of AI aimed at the development of algorithms and models capable of learning from data, recognizing patterns, and signal analysis. Tasks include