1 harmonic-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 harmonic-analysis positions

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

Constructor Knowledge Labs gGmbH | Bremen, Bremen | Germany | 4 days ago

-on; demonstrated exposure to at least one model checker (TLA+/TLC, SPIN, NuSMV, Alloy) or proof assistant (Lean, Coq, Isabelle). Code as data. AST manipulation, `tree-sitter`, static analysis, dependency and

Searches related to harmonic analysis

Enter an email to receive alerts for harmonic-analysis positions