Sort by
Refine Your Search
-
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
-
your mathematical interests and with whom/in which project you would like to work academic cv list of publications (if any) MSc thesis (or similar) if already available (otherwise a description of the
-
University of Munich is required. Salary and benefits are in accordance with the German public sector scale, TV-L E13. - Your Profile 1. Strong mathematical background (e.g., linear algebra, optimization
-
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 Grant...
-
(typically mathematics, physics). For Postdocapplicants: Excellent track recordin computer science or engineering. Fluency in spoken and written English is required. Proficient in at least one programming
-
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 Boehringer...