30 proof-checking-postdoc-computer-science-logic PhD positions at University of Southern Denmark
Sort by
Refine Your Search
-
Job Description We are looking for a PhD candidate to join the TACsy (Training Alliance for Computational Systems Chemistry) Marie-Skłodowska-Curie Joint Doctoral Network. This network consists
-
scholarship is available to students who wish to enter the PhD programme in Economics or Social Sciences. A 5+3 PhD scholarship is granted to applicants who have completed a MSc in Economics, Mathematics and
-
postdoc in the lab. You have: A Master’s in Life Science, e.g., Molecular Biology. Expertise in functional genomics approaches and computational data analysis. Expertise and interest in gene-regulatory
-
of programming languages. The ideal candidate has an MSc in Computer Science or Mathematics and experience in one or more of the following areas: Theory of programming languages. Logical methods in
-
secondary school education) funded under the Interreg 6A program. The interreg project primarily aims to develop and implement pilot projects, thereby contributing to measure: a) Development and
-
influence its development directly. We are currently evolving our mechanical engineering degree program and constructing labs to support both educational activities and research. Workplace description
-
of two Associate Professors, two Assistant Professors, a Lab Manager, a Center Administrator, and app 10-15 PhD students, postdocs and visiting scientists. Several POLIMA researchers have attracted