2 formal-methods positions at Cluster of Excellence Circular Bioengineering in Austria
-
mobility for maximum enzymatic activity on cellulose and other carbohydrate polymers. Methods: Bioinformatic (sequence and structure based) selection of CBMs and LPMOs. Structure-based protein engineering
-
enzymatic synthesis of polysaccharide materials with tunable properties Characterization of synthetic materials Methods: In situ atomic force microscopy, surface plasmon resonance, enzymatic reaction, product
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions