Research and Development - Formal Verification @ Hardware Verification Group
Research Assistant @ System Analysis and Verification (Save) Lab
Umair Siddique's Education
Concordia University
Doctor Of Philosophy (Computer Engineering, Philosophy)
2012 - 2015
National University of Science and Technology
Master Of Science (Engineering)
2009 - 2011
Quaid - I - Azam University
2006 - 2008
Quaid - E - Azam University (Qau), Islamabad. Pakistan
Master Of Science (Electronics)
2006 - 2008
Umair Siddique's Skills
Theorem Proving
Algorithms
C
Matlab
Microprocessors
Functional Safety
FMEA
Formal Methods
Verilog
Formal Verification
Umair Siddique's Summary
Umair Siddique, based in San Francisco, California, United States, is currently a Systems and Sensors at Apple, bringing experience from previous roles at Apple, Bosch North America, QNX Software Systems and Borgwarner Inc.. Umair Siddique holds a 2012 - 2015 Doctor Of Philosophy in Computer Engineering, Philosophy @ Concordia University. With a robust skill set that includes Theorem Proving, Algorithms, C, Matlab, Microprocessors and more, Umair Siddique contributes valuable insights to the industry. Umair Siddique has 2 emails on RocketReach.