Sort by
Refine Your Search
-
, Bayesian modelling, or other formal models of decision-making and learning). Furthermore, your suitability is further supported by: a track record of publications in peer-reviewed journals; the ability
-
. Information Open Science is an umbrella term encompassing, among other elements, the sharing of research data and code to facilitate verification and further development of research. It is widely endorsed by
-
and verification techniques for the design of the Drag-Free Attitude and Orbit Control System of the Next Generation Gravity Mission. To achieve this goal, four different objectives must be fulfilled
-
expertise in the philosophy of mathematics and advanced formal skills. Demonstrable expertise in proof theory and provability logic will be an advantage. Your publication record is that of a talented early
-
logic and advanced formal skills. Demonstrable expertise in intensional logic will be an advantage. Your publication record is that of a talented early-career researcher ready to contribute to the project
-
of new components for SmallSat missions, facilitate the integration of complex hardware and test the complete mission in all development phases. You will have a key role in the validation and verification
-
DIAMANT and in the Gravity programme NETWORKS. There is formal (and informal) cooperation with the Centrum Wiskunde & Informatica (CWI), the VU University, and with Eurandom in Eindhoven. KdVI counts about
-
An already acquired Phd in Electrical Engineering, Computer Science, Applied Mathematics, or a relevant field Affinity for formal and simulation models, as well as algorithmic solutions to problems