Python programozó állás, munka

Formal verification algorithms usage to prove correctness of complicated logic problems Identification of key behaviors for verification to write clear testplans for complex designs Implementation of testplans using innovative formal techniques Driving tools to realize their best performance...

Research, develop, implement, and test artificial intelligence algorithms to improve the quality and robustness of the static world model in automated vehicles Focus on road structure including lanes, curbs, and drivable trajectories Focus on traffic sign and traffic light detection including 3D...