-
, consistent, and correct-by-construction (or corrected via proof/counterexample feedback). You will lead research and prototyping of neuro-symbolic methods that translate heterogeneous requirements (text
-
processes, particularly in complex or technically challenging settings. To address these questions, the lab develops and applies new methods for metabolomics, lipidomics, and ¹³C metabolic flux analysis, as
Enter an email to receive alerts for complex-structure "https:" positions