Sort by
Refine Your Search
- 
                Listed
- 
                Country
- 
                Employer- Technical University of Munich
- DAAD
- Aarhus University
- Harvard University
- INESC TEC
- KNAW
- Lund University
- Max Planck Institute for Demographic Research (MPIDR)
- Max Planck Institute for Dynamics of Complex Technical Systems, Magdeburg
- Max Planck Institute for Mathematics in the Sciences
- University of British Columbia
- University of Lille
- Université de Limoges
- 3 more »
- « less
 
- 
                Field
- 
                
                
                , Human-Computer Interaction, and their responsible applications. Ideal candidates will have: An M.Sc. degree (or equivalent) in Computer Science, Game Engineering, Mathematics, Statistics, or related 
- 
                
                
                for relaxed memory models; guarded cubical type theory; and Rocq formalizations. Tasks and Qualifications Applicants are expected to have a strong background in semantics, type theory, and Rocq formalization 
- 
                
                
                disciplines, including biomathematics, biostatistics, and molecular biology. The candidate is expected to have a solid grounding in programming in R, Python, and mathematics/statistics.The main duties involved 
- 
                
                
                . Preference factors: - Proficiency in English (written and spoken). - Relevant academic or practical knowledge in control theory and power electronics. - Knowledge of computational simulation tools (for example 
- 
                
                
                brings together methodologists (from areas like statistics, computer science or formal demography) with population scientists in order to foster cross-pollination of ideas, to advance methods and theories 
- 
                
                
                resonance spectroscopy, imaging (MRI), Applied Mathematics or Machine learning. We are looking for talented, highly-motivated experimentally skilled young scientists with Master degrees or equivalent or PhD 
- 
                
                
                Baltimore. Vogelstein graduated summa cum laude in mathematics, switching to medicine when he discovered – during an extra summer internship with a cancer researcher – that medicine was a better avenue to 
- 
                
                
                -quantum cryptography and coded computing (1 postdoc, 1 PhD, Antonia Wachter-Zeh, antonia.wachter-zeh@tum.de) • Theory for communication systems beyond Shannon's approach (1 postdoc, 1 PhD, Christian Deppe 
- 
                
                
                Overview Eine Druckversion dieser Ausschreibung (PDF) steht Ihnen in den weiteren Registerkarten (z.B. „Bewerbungsvoraussetzungen“) zur Verfügung. A print version of this announcement (PDF) is available in the further tabs (e.g. “Application requirements”). Programme Description The Pre-Doc... 
- 
                
                
                development of researchers who are transitioning from training environments in the physical, mathematical, computational sciences and/or engineering into postdoctoral work in the biological sciences, and who