1 finite-element-analysis positions at Constructor Knowledge Labs gGmbH in Germany

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for finite-element-analysis positions

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

Constructor Knowledge Labs gGmbH | Bremen, Bremen | Germany | about 18 hours 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 finite element analysis

Enter an email to receive alerts for finite-element-analysis positions