Mayank Kumar
Senior Formal Verification Engineer
Education
• iit bhilai indian institute of technology bhilai
Companies
• arm
• intel
• commscope
• indian institute of technology
• indian institute of technology kanpur
Experience
4 Years
Experience
Research Intern
indian institute of technology kanpur | Kanpur Nagar, Uttar Pradesh, India
2018 - 2018
Skills
Boost your visibility and stand out to employers with referrals from your LinkedIn connections.
5G
5g
5g New Radio
5G New Radio (NR)
Algorithms
Applied Machine Learning
architectures
C (Programming Language
C (Programming Language)
C++
Computer Architecture
Control Systems Design
Data Structures
Debugging
Design
Digital Logic
Formal Abstraction
Formal Complexity Reduction
Formal Coverage
Formal Verification
GNU Octave
GNU Radio
Gnu Radio
HTML
Image Processing
Information Theory
IP
JasperGold
Java
JavaScript
LaTeX
Linux
Logic Design
Machine Learning
Matlab
Microsoft Excel
Microsoft Office
Microsoft PowerPoint
Microsoft Word
MySQL
PHP
PSCAD
Python
Python (Programming Language)
Research
Scripting
Sequential Equivalence Checking
Simulink
Solid Edge
SQL
Superlint
SystemVerilog
TCL
Test Planning
VC Formal
Verilog
Wireless Communications Systems
Wireless Networking
Contact Details
Email (Verified)
mayXXXXXXXXXXXXXXXomMobile Number
+44XXXXXXXX00Education
iit bhilai indian institute of technology bhilai
Bachelor of Technology (Honors)
2016 - 2020
Find anyone’s contact and let Weekday reach out to them on your behalf
Start hiring nowStop manually filling job applications. Use AI to auto-apply to jobs
Look for jobs now