14 postdoc-in-postdoc-in-automation-and-control positions at Umeå University in Sweden
Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
networks are controlled, to develop predictive models of methane cycling in northern rivers. This postdoc position will focus on assessing how stream methane emissions are linked to permafrost thaw, using
-
, electrophysiology, chemo-optogenetics. Behavioral measurements will be performed in collaboration with Olof Lagerlöf’s group. The postdoc will image (and influence with opto-chemogenetics) the network representation
-
for two years and the position is expected to start in September 2025, or according to agreement. Last application date is June 6th, 2025. We welcome your application! Research description The postdoc
-
-unique CO2 experiments, cutting-edge NMR spectroscopy and isotopomer analysis (doi: 10.1111/nph.20358). Two postdocs will work together to conduct plant ecophysiology experiments, and to analyze samples by
-
experiments, samples from world-unique CO2 experiments, cutting-edge NMR spectroscopy and isotopomer analysis (doi 10.1111/nph.20358). Two postdocs will work together to conduct plant ecophysiology experiments
-
education to enable regions to expand quickly and sustainably. In fact, the future is made here. The Department of Molecular Biology seeks a postdoc to a project entitled “Molecular mechanisms of development
-
expertise are: Experiences of supervision (students, postgraduate students, postdoc) Participation in working groups or committees (department, faculty or university level) Experiences of collaboration
-
humans and society at large is either fully automated or heavily relies on automatically provided decision support. While machine learning approaches become increasingly prevalent in this context
-
automated theorem provers and recently popularized for optimizing compilers and many other optimization tasks. We hypothesize that an e-graph would be an effective tool for discovering and encoding a large
-
expressions when the matrix sizes are unknown at compile-time. The project aims to address the problem using e-graphs. An e-graph is a data structure commonly used in automated theorem provers and recently