Job opportunities Post-Doctoral Research Visit F/M Individual-based modeling of coupled single-cell and population processes Deadline to apply 31/10/2024
Job opportunities PhD Position F/M Neuroadaptive neurofeedback user training (NUT) Deadline to apply 24/09/2024
Job opportunities Post-Doctoral Research Visit F/M PostDoc position in Software Language Engineering. Deadline to apply 31/12/2024
Job opportunities Post-doctoral position in deep learning for large-scale biodiversity mapping Deadline to apply 30/11/2024
Job opportunities Post-Doctoral Research Visit F/M Methods for the analysis of quantum cryptographic protocols Deadline to apply 16/10/2024
Job opportunities Engineer H/F: Automated discovery of interference patterns in multi-core architectures Deadline to apply 17/10/2024
Job opportunities Internship - Formal reasoning examples generation for large language model training (M/F) Deadline to apply 17/10/2024
Exploratory action ALAMO Alternative algorithms for the simulation of lattice models Stochastic lattice models are of constant interest to the scientific community, both for their...
Exploratory action BrainGPT Transforming Transformers into Cognitive Language Models In the wake of the emergence of large-scale language models such as ChatGPT, the BrainGPT project is...
Exploratory action CACHAÇA Compact Asymmetric Cryptography with High Assurance for Constrained Applications Fast, safe, and strong cryptography is essential for secure networked communications. Currently...
Exploratory action Comanche Computational Models of Lexical Meaning and Change (COMANCHE) COMANCHE proposes to transfer and adapt recent algorithms of representation learning from deep...
Exploratory action Define preDicting protEin Functions : wIder aNd dEeper ABS develops novel methods to study protein structure and dynamics, using computational geometry...
Challenge EQIP Engineering for Quantum Information Processors Building a functional quantum computer is one of the grand scientific challenges of the 21st century...
Exploratory action IMPROOF Interactive Direct Manipulation for Theorem Proving and Exploration We aim to find universal mechanisms for interactive proof development that are based on Direct...