Sort by
Refine Your Search
-
Country
-
Employer
-
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
-
Status Full-time Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description
-
questions. The advertised positions will be part of the project “QS-Gauge: quantum simulation of lattice gauge theories”, funded by the Emmy Noether programme of the DFG. The project’s overarching goal is the
-
to guarantee user-defined error bounds of reachable sets for nonlinear and hybrid systems. This project will exactly close this research gap: We will develop essentially new methods to ensure that algorithmic