Sort by
Refine Your Search
-
automatic formal verification of cyber-physical systems. The Technical University of Munich is one of the top research universities in Europe fostering a strong entrepreneurial spirit and international
-
of information processing), and formal epistemology (in particular, formal representations of inattentiveness and unawareness). This project will involve philosophical / linguistic analysis, experiments with human
-
Your Job: We are looking for a researcher to develop and apply machine learning models for genomic data in our lab. We focus on sequence analysis, genomics, semantics, and cross-domain data
-
static and dynamic 3D reconstruction, semantic scene understanding, and generative models for photo-realistic image / video synthesis. Overall, the main focus is on high-impact research with the aim
-
of the experimental system, such as the microwave radiometer, the first stage detector element and the dielectric haloscope booster. Formal requirements for this position are a PhD in microwave engineering
-
disabilities will be given preference. Formal appointment procedures will be carried out by the University’s Central Administration. Back
-
algorithms in extremely complex and enormously large spaces motivated by physics and chemistry Developing interpretable AI for scientific discovery in physics (example here ) Formal mathematics (using Lean’s
-
soon hold) a PhD degree in Linguistics or a similar Language Science area are eligible for the role. The ideal candidate for this position has: a solid background in formal linguistics, particularly
-
to conduct ethnographic fieldwork. Experience in independent scholarly writing to a high level of academic content and formal presentation. Proficiency in one or more modern Asian languages. Familiarity with
-
presentations at international conferences Our requirements Completed PhD in Biology, Biotechnology, Bioinformatics, Immunology, or related field Strong interest in computational science and AI (prior formal