1 data-visualization-analysis positions at Constructor Knowledge Labs gGmbH

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for data-visualization-analysis positions

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

Constructor Knowledge Labs gGmbH | Bremen, Bremen | Germany | 8 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 data visualization analysis

Enter an email to receive alerts for data-visualization-analysis positions