Sort by
Refine Your Search
-
Country
-
Employer
- DAAD
- Technical University of Munich
- University of British Columbia
- Harvard University
- Ghent University
- University of Melbourne
- ELLIS Institute Finland
- European Magnetism Association EMA
- Heidelberg University
- KNAW
- Max Planck Institute for Chemistry, Mainz
- Max Planck Institute for Multidisciplinary Sciences, Göttingen
- OCAD University
- University of Colorado
- Université de Limoges
- 5 more »
- « less
-
Field
-
group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic
-
more about logical zonotopes: paper link: https://lnkd.in/e-avQ-2B talk link: https://lnkd.in/eYGWFKmy You will conduct original research on logical–zonotope–based methods for model checking and digital
-
% international students in the MA program. The visual computing lab embraces its diverse culture, and is proud to host PhD students from over 10 different countries. Our lab language is English. The position is
-
Pathways Program. The Mobilize Award provides funding for collaborative knowledge mobilization activities that facilitate the design, production, and translation of research that is impactful and relevant
-
work in the biological sciences, and who are dedicated to pursuing a career in academic research. Please visit this video overview of the CASI program for more information from former Program Officer Dr
-
Karen Toffler Charitable Trust (KTCT) Scholar Grant program Eligibility: Early-career investigators (PhD candidates, Postdocs, Assistant Professors). Non-U.S. citizens with a valid U.S. visa are
-
collaborates with the Lifecycle Grants and Contracts Program Manager and Office of Research and Scholarship staff to provide coordinated research administration services and contribute to training, knowledge
-
Systems Control Theory Formal Methods Reachability Analysis Computational Geometry Context The applicant will be directly advised by Prof. Matthias Althoff (https://www.ce.cit.tum.de/cps/members/prof-dr-ing
-
to the applicable collective agreement (TVöD/MPG) or stipend. PhD program: initial 3-year contract, extendable depending on progress. Postdoc: initial 1-year contract, extendable up to 2 to 3 years upon mutual
-
career development of trainees and is followed by support to establish and sustain an independent research program, REDI develops the next generation of health research leaders. The CIHR REDI program helps