1 microparticle-manipulation PhD positions at Constructor Knowledge Labs gGmbH

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for microparticle-manipulation positions

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

Constructor Knowledge Labs gGmbH | Bremen, Bremen | Germany | 6 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 microparticle manipulation

Enter an email to receive alerts for microparticle-manipulation positions