1 complex-analysis PhD positions at Constructor Knowledge Labs gGmbH

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for complex-analysis positions

PhD Position: World Models for Software Architecture Synthesis (Constructor Fabric)

Constructor Knowledge Labs gGmbH | Bremen, Bremen | Germany | 1 day ago

, reachability, basic complexity classes. Mathematical logic and formal methods. First-order logic, type systems, SAT/SMT, temporal logic (LTL/CTL) and model checking, pre/post-conditions, invariants, refinement

Searches related to complex analysis

Enter an email to receive alerts for complex-analysis positions