103 formal-method "https:" positions at DAAD

  • DAAD | Germany | 25 days ago

    ) processes and develops methods and algorithms to achieve a fundamental understanding of high-dimensional data and processes in the bioeconomy in particular. Bioinformatics at Forschungs­zentrum Jülich plays a

  • DAAD | Germany | about 2 months ago

    position is the development of novel machine learning methods for modeling molecular properties, in particular regression models for bi-molecular properties. The research is embedded in the thematic context

  • DAAD | Germany | about 1 month ago

    Student (f/m/d) in Quantum Algorithms for Droplet and Bubble Oscillation Dynamics Modelling. Your tasks Development and implementation of numerical and algorithmic methods for the simulation of fluid

  • DAAD | Germany | 25 days ago

    machine learning (ML) along with data from previously solved problem instances to solve new, yet similar, instances more efficiently than with general purpose algorithms such as Newton`s method. In

  • DAAD | Germany | 25 days ago

    Functional Theory (DFT) Familiarity with artificial intelligence methods Good knowledge of electronic structure methods Experience with Linux, Git and related tools Knowledge in the field of high-performance

  • DAAD | Germany | about 1 month ago

    excellent research opportunities due to the University, three Max Planck institutes, the University Hospital, and Europe’s largest AI research consortium. You can find out more about Tübingen here: https

  • DAAD | Germany | 25 days ago

    combines state-of-the-art computational multiscale modelling (using DFT/TDDFT methods, collision theory, molecular dynamics, stochastic dynamics, Monte Carlo and analytical methods) and its thorough

  • DAAD | Germany | about 16 hours ago

    Remember to check that your application is complete and meets DAAD requirements before submitting! Otherwise your application cannot be considered. DAAD will conduct a formal review of the applications

  • DAAD | Germany | 25 days ago

    spectroscopy will be a key component of the experimental toolbox. Where appropriate, additional techniques such as diffraction or photon-based methods and microscopy methods (scanning tunneling microscopy

  • DAAD | Germany | about 1 month ago

    biological techniques, as well as animal models, will be applied. We offer: Embedding in an internationally competitive scientific environment An established, broad spectrum of scientific methods A wide range

Enter an email to receive alerts for formal-method "https:" positions