Location: Colorado, USA
Remote: No
Willing to relocate: Yes
Technologies: C, C++, Python, OCaml, MATLAB/Simulink, LaTeX, Git, Yices, Z3, Linux, Verilog
Résumé/CV: <a href="
Email: REDACTED_EMAIL
I am a recent PhD grad (with 2 years of prior industrial exp.) from CU-Boulder. My research focused on increasing the reliability of embedded control software. I used ideas from formal methods, path planning, optimal control, etc to design testing methods. During my research I have built tools to test software controllers and models of dynamical systems using both symbolic and numerical simulation methods.
I am looking for hands-on jobs in the area of robotics, autonomous driving, medical devices, etc and very willing to learn new technologies.