Industry-academic collaboration seeking early-career researchers to advance program synthesis, formal methods, explainable and robust AI, and integrate AI into urban mobility software for commercialization and product development.