-
behavior and circuit integration remains poorly understood. In this project, you will develop and apply spatial transcriptomics methods and combine these with measurements of brain activity and cellular
-
role in membrane remodeling. It also aims to deepen the mechanistic understanding of solute transport in ion channels and transporters of medical relevance. We apply state of the art methods
Searches related to formal method
Enter an email to receive alerts for formal-method positions