Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
software (e.g. in security), there is an urgent need for verifying the trustworthiness of quantum programs at scale. Features of modern quantum programs such as Quantum Error Correction lead to hybrid
-
research in an international environment, supported by competent and friendly colleagues? Do you want an employer who invests in sustainable employeeship and offers secure, favorable working conditions
-
research in an international environment, supported by competent and friendly colleagues? Do you want an employer who invests in sustainable employeeship and offers secure, favorable working conditions
-
securing external grants. Administration. To participate in the general academic duties of the Department of Chemistry for Life Sciences. This includes serving on committees, taking on responsibilities
-
widely in e.g. safety-critical (embedded) systems, data analysis, weather forecasting, physics, and engineering. Verifying that such programs are correct is challenging because of rounding errors due
-
and approaches, as well as implementations that can be practically used. The first project targets specifically numerical programs that appear widely in e.g. safety-critical (embedded) systems, data
-
such as bankruptcy and restructuring law, general property law with an emphasis on creditor protection issues, as well as credit and security law. Duties Employed doctoral students must primarily devote
-
expertise from control theory, machine learning, optimization, and network science, spanning diverse application domains such as energy systems, biomedical systems, neuroscience, and safety and security