70 software-formal-method-phd research jobs at SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
Sort by
Refine Your Search
-
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
-
across records. Develop a cloud-based verification platform for digital data collection and real-time analytics. Develop and apply non-destructive testing (NDT) methods and data-driven approaches
-
steel or aluminium structures Welding, fabrication, or construction automation Experimental structural testing and instrumentation Numerical modelling and simulation AI/data-driven methods for engineering
-
Requirements PhD/Master’s in Naval Architecture, Ocean Engineering, Civil Engineering, or related field. Proficiency in hydrodynamic modeling tools (e.g., WAMIT, ANSYS AQWA, OrcaFlex) and finite element analysis
-
team to lead the storm surge modelling in the Singapore Sea. As a specialist in wave modelling software, the successful candidate will work on cutting-edge projects related to coastal and ocean wave
-
project deliverables are met. Any other ad-hoc duties assigned by Supervisor. Job Requirements PhD in Geography, GIS, Remote Sensing, Environmental Science, Earth Science, or related disciplines. Strong
-
and real-time analytics. Develop and apply non-destructive testing (NDT) methods and data-driven approaches to determine material properties of reclaimed steel. Investigate geometric imperfections
-
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
-
protocols, experimental setups, and data acquisition procedures for airborne and structure-borne noise studies. iv. Analyse measurement data using specialised acoustic and vibration analysis software, and
-
Experimental structural testing and instrumentation Numerical modelling and simulation AI/data-driven methods for engineering applications Familiarity with engineering software such as ABAQUS, ETABS, MATLAB