29 software-formal-method-phd Postdoctoral positions at University of Southern Denmark in Denmark
Sort by
Refine Your Search
-
Denmark. The project is led by Associate Professor Kim Andersen and includes Associate Professor Lene Heiselberg, Professor David Nicolas Hopmann, a PhD student, and the postdoc. The postdoc will work
-
of research designs and methods. Experience with relevant methods, such as data donations, automated content analyses, panel survey analyses, and in-depth interviews, is an advantage. Applications
-
proteome coverage by exploiting negative ion mode and advanced fragmentation methods. Within this framework, the postdoc will drive method development and high-level experimental MS studies, including
-
an autonomous framework for setting up, executing, and optimizing complex electronic structure workflows, ranging from ground-state Density Functional Theory (DFT) to many-body perturbation theory methods such as
-
of the research, from conception, execution, analysis, publishing, and public dissemination. A solid set of field specific methods is necessary. Candidates are expected to be willing and able to contribute
-
refer to medical doctor, PhD, Helene Kildegaard and Professor Anton Pottegård, but he/she will also be expected to contribute to the whole research unit whose research areas span from pharmacoepidemiology
-
approximately 30 faculty members including senior (full and associate professors), junior (assistant professors and postdocs), PhDs, and support staff. The task portfolio of the postdoc will be linked to one main
-
the project include collecting YouTube or social media data and digital news content, using manual and computational methods to analyze this content, and collaborating with the European project team on a cross
-
Quantitative research methods / Cross-cultural data analysis Social and health inequalities / Sociocultural determinants of health The main tasks of the successful applicant include Following and analyzing
-
imaging data (e.g., MRI, CT, angiography) Development of AI-based control methods for continuum robots. Validation and experimental evaluation of control algorithms on robotic platforms Profile and