-
. Molecular biology (plasmid construction, gene inactivation, etc.) High-density bacterial culture in bioreactors Protein expression and purification Characterization of glycoproteins using a range of
-
of proof assistant technology capable of understanding the dynamical linguistic structures found in current high-level mathematical texts. The project includes the study of interpretation mechanisms
Searches related to molecular dynamics
Enter an email to receive alerts for molecular-dynamics positions