Sort by
Refine Your Search
-
Listed
-
Field
-
of the candidate and will provide guidance and training both within the core team and through formalized co-supervision from international collaborators. The candidate will be given the opportunity to conduct
-
” for formal requirements regarding the master’s degree. Good programming skills in Python. Previous experience with neural approaches and particularly generative language models is an advantage. Experience
-
complementary and synergic methods at the intersection of Artificial intelligence, Machine learning, Numerical simulation, Formal verification. Such methods include, among the others: AI-guided simulation
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions