42 proof-checking-postdoc-computerscience Postdoctoral positions at Technical University of Munich in Germany
Sort by
Refine Your Search
- 
                
                
                06.12.2021, Wissenschaftliches Personal The professorship of Data Science in Earth Observation is seeking six new PhD candidates/PostDocs for its new center for Machine Learning in Earth Observation 
- 
                
                
                related field PostDoc track: PhD in a relevant discipline with a record in medical image analysis / ML Strong programming skills (e.g., Python, PyTorch/TensorFlow; image processing frameworks) Background in 
- 
                
                
                . Documentation: Candidates may be required to provide proof of residency history and eligibility criteria. Timeline: Interviews will take place by early December, and the final decision will be made by late 
- 
                
                
                acknowledged the above data protection information of TUM. Kontakt: info@mat.mw.tum.de More Information https://www.mw.tum.de/mat/startseite/ 20200807_084956 Senior Research Team Leader/PostDoc in Computational 
- 
                
                
                . Qualifikationen Für Doktorand:innen: Abgeschlossenes Masterstudium in Informatik oder Mathematik. Für Postdocs: Abgeschlossene Promotion (Ph.D.) in Informatik oder Mathematik, idealerweise mit Hintergrund in einem 
- 
                
                
                at the Technical University of Munich (TUM) welcomes applications for a Postdoc Position in Representation Theory m/f/d, initially for two years, 100% position starting October 01, 2025 or later 
- 
                
                
                derivation, analysis, and comparison of numerical methods and simulation approaches for the solution of PDEs Formal proofs, e.g., for convergence, existence, and uniqueness of solutions Fast prototyping of new 
- 
                
                
                -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 
- 
                
                
                of Livestock Systems is newly established at TUM and will include several postdocs, PhD students, and technical staff. The team will work on various topics, including multi-scale analyses of productivity 
- 
                
                
                at TUM and will include several postdocs, PhD students, and technical staff. The team will work on various topics, including multi-scale analyses of productivity, nutrient and water cycling in livestock