-
, 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
-
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
-
, proof assistants, term rewriting systems, optimizing compilers, program analysis tools, constraint solvers, or similar. Familiarity with linear algebra libraries and high-performance computing
Searches related to proof checking postdoc
Enter an email to receive alerts for proof-checking-postdoc positions