Sort by
Refine Your Search
-
theorem provers such as Coq or Isabelle/HOL. Proof Automation. We plan to develop formal methods for automatic reasoning that can be materialized into commercial tools. Responsibilities Participate in and
-
protein foods including through high moisture extrusion. Key responsibilities will include: Explore innovative methods for food process optimization including the use of AI and machine-learning Develop and
-
theorem provers such as Coq or Isabelle/HOL. Proof Automation. We plan to develop formal methods for automatic reasoning that can be materialized into commercial tools. Responsibilities Participate in and
-
intermediate language. Mechanization. We plan to mechanize the formal framework using state-of-the-art theorem provers such as Coq or Isabelle/HOL. Proof Automation. We plan to develop formal methods
-
, microbial cultures, and cleaning validation samples. Develop data analysis pipelines for Raman spectral classification, potentially integrating machine learning methods. Research & Project Responsibilities
-
foods including through high moisture extrusion. Key responsibilities will include: Explore innovative methods for food process optimization including the use of AI and machine-learning Develop and
-
responsibilities will include: Explore innovative methods for food process optimization including the use of AI and machine-learning Develop and execute methods for characterizing and linking the texture and
-
. The incumbent will apply design thinking, systems thinking, and future-oriented methods to guide multidisciplinary teams in creating impactful products, services, and experiences. This role also oversees project
-
validating objective texture testing methods that can accurately categorize foods within the International Dysphagia Diet Standardisation Initiative (IDDSI) framework, with a specific focus on Level 5 (Minced
-
tunnelling. Prior experience in basic soil characterization and knowledge in basic soil mechanics is required. Have a degree in civil engineering. Possessing a Master’s or PhD degree will be advantageous