21 proof-checking-postdoc-computer-science-logic Postdoctoral research jobs at University of Basel in Switzerland
Sort by
Refine Your Search
-
research. Your position Design, implement, and evaluate large-language-model (LLM) pipelines for synthetic data (fine-tuning, retrieval-augmented generation [RAG], prompt engineering). Plan and analyze
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions