-
areas such as energy technology, laser spectroscopy, medical technology, and electronics and systems engineering. The Department is now seeking a postdoctoral researcher to perform research involving
-
. Ability to lead your own subprojects while collaborating effectively within an interdisciplinary team. Analytical, structured, and solution-oriented mindset. Strong communication skills and an interest in
-
mathematical modeling of infectious diseases applied to grided spatiotemporal data inputs. The project involves reviewing existing literature and especially synthesize model structures and parameters for the eco
-
expressions when the matrix sizes are unknown at compile-time. The project aims to address the problem using e-graphs. An e-graph is a data structure commonly used in automated theorem provers and recently