Vacancies

Instituutscoördinator Qusoft 0,8 fte

QuSoft is een samenwerkingsverband tussen CWI , UvA en VU op het gebied van onderzoek en ontwikkeling van quantumsoftware. QuSoft is een jonge organisatie, die nog volop in opbouw is. De instituutscoördinator zal met de twee directeuren het QuSoft managementteam gaan vormen. De instituutscoördinator is verantwoordelijk voor de niet-wetenschappelijke aspecten van Qusoft en levert daarmee een belangrijke bijdrage aan de strategiebepaling van QuSoft als zich ontwikkelend en ambitieus kenniscentrum. Hij/zij is de rechterhand en algemeen adviseur van de directeuren van QuSoft en draagt in belangrijke mate bij aan de organisatieontwikkeling. Ook is de functionaris verantwoordelijk voor de communicatiestrategie en de profilering (nationaal en internationaal) van QuSoft. Naast een efficiënte bedrijfsvoering genereren hoort ook het opstellen van beleidsdocumenten en jaarplannen tot het takenpakket.

PhD Student on the subject of Ultra-Fast 3D Reconstruction

Centrum Wiskunde & Informatica (CWI) and the Mathematical Institute of Leiden University seek a dedicated candidate for a PhD position in the interdisciplinary field of Mathematical Analysis, Algorithms and Computation for Tomography. As a PhD student, you will be part-time embedded in the Computational Imaging group at CWI, and part-time in the Analysis and Dynamical Systems group of the Mathematical Institute of Leiden University. As a team, we develop cutting-edge techniques for advanced tomographic reconstruction, combining expertise from Mathematics (Inverse Problems and Dynamical Systems), Computer Science (Efficient Algorithms and High Performance Computing), and Physics (Image Formation Modelling). Our goal is to develop novel computational methods for 3D and 4D imaging. We work closely with research colleagues both inside the hosting institutes as well as externally, with industrial partners and with international X-ray and electron imaging groups. Your PhD project will be part of the Marie Skłodowska-Curie Innovative Training Network, “Multiscale, Multimodal, Multidimensional imaging for EngineeRING” or in short MUMMERING. The network is concerned with interdisciplinary R&D and training in 3D imaging and its application in materials- and information science. The network offers totally 15 PhD positions. You can find information about all 15 PhD positions at https://euraxess.ec.europa.eu/jobs/256053 .

Projectsecretaresse (0,8 fte)

Het NWO-instituut Centrum Wiskunde & Informatica (CWI) en het Quantum Software Consortium (QSC) zijn op zoek naar een professionele en flexibele secretaresse voor algemene en projectondersteuning.

Tenure Track position in Scientific Computing of Technical Plasmas and/or Fluids

The Multiscale Dynamics group develops methods of scientific computing, nonlinear dynamics, model reduction and machine learning with a particular focus on the multiscale plasma dynamics in lightning and space weather, and in high voltage and plasma technology. Within national and European projects, we collaborate with colleagues in applied plasma physics, electrical and mechanical engineering, atmospheric electricity, and cosmic particle and space science, and with non-academic partners such as ABB, DNV-GL, ESA and NASA.

PhD Student on the subject of Machine Learning and Space Weather

The position involves research in machine learning techniques and Bayesian inference, applied to real-time forecasting of energetic electrons in the Earth radiation belts. These electrons can be harmful to satellites, whose disruption can potentially lead to catastrophic societal and economic events. The emerging field of Space Weather is concerned with making accurate predictions of such dangerous events, sufficiently in advance so that countermeasures can be taken. The aim of this project is to advance our space weather prediction capability by enhancing physics based models with a new data-driven probabilistic framework. The project will involve state-of-the-art numerical simulations, Bayesian parameters estimation, uncertainty quantification and machine learning techniques.

Postdoc on the subject of Machine Learning and Space Weather

The position involves research in machine learning techniques and Bayesian inference, applied to real-time forecasting of energetic electrons in the Earth radiation belts. These electrons can be harmful to satellites, whose disruption can potentially lead to catastrophic societal and economic events. The emerging field of Space Weather is concerned with making accurate predictions of such dangerous events, sufficiently in advance so that countermeasures can be taken. The aim of this project is to advance our space weather prediction capability by enhancing physics based models with a new data-driven probabilistic framework. The project will involve state-of-the-art numerical simulations, Bayesian parameters estimation, uncertainty quantification and machine learning techniques.

PhD student on the subject of Verification of Mainstream Java Libraries

The overall objective of this PhD position is the development and application of formal methods to actual software. Of particular interest are the mainstream libraries of the popular programming language Java. These libraries are widely used and therefore their correctness is of the utmost importance. This research builds on and extends the successful verification by means of the interactive theorem prover KeY of executable Java versions of Counting sort and Radix sort. A recent attempt to verify the Java implementation of the TimSort hybrid sorting algorithm as provided by the Java Collections Framework (and which is designed to perform well on real world data) revealed a fundamental error which for certain inputs crashed the software. In close collaboration with the Software Engineering group of TU Darmstadt, we succeeded in the verification of the corrected software. Motivated by this success our overall goal is the systematic verification of the Java Collections Framework. As a PhD you will contribute to the realization of this ambitious goal by a further development of the interactive theorem prover KeY, which is required to master the complexity of correctness proofs, and the application of the interactive theorem prover KeY to the Java Collections Framework.

Postdoc in the research project "Approximation Algorithms, Quantum Information and Semidefinite Optimization"

The research project “Approximation algorithms, quantum information and semidefinite optimization” aims to explore the limits of efficient computation within classical and quantum computing, using semidefinite optimization as a main unifying tool. The position involves research into the mathematical and computer science aspects of approximation algorithms for discrete optimization, quantum entanglement in communication, and complexity of fundamental problems in classical and quantum computing. More information about the project can be found at this website.

Document Actions