Formal Verification Trainee
Current
Jun 2024 - Present
AeroLeads people directory · profile
Rajnish Kumar Email & Phone Number
Formal Verification Engineer @ SYNOPSYS | EX- DXCorr | Former Design Verification Intern @ STMicroelectronics | M.Tech'23@ IIT,Patna
at
Synopsys Inc
1 work email found
@st.com
LinkedIn matched
4 data sources
Profile completeness 100%
Current company
Role
Formal Verification Engineer @ SYNOPSYS | EX- DXCorr | Former Design Verification Intern @ STMicroelectronics | M.Tech'23@ IIT,Patna
Location
Bengaluru, Karnataka, India
Company size
Who is Rajnish Kumar? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Rajnish Kumar is listed as Formal Verification Engineer @ SYNOPSYS | EX- DXCorr | Former Design Verification Intern @ STMicroelectronics | M.Tech'23@ IIT,Patna at Synopsys Inc, a company with 10 employees, based in Bengaluru, Karnataka, India. AeroLeads shows a work email signal at st.com and a matched LinkedIn profile for Rajnish Kumar.
Rajnish Kumar previously worked as Formal verification Trainee at Synopsys Inc and RTL Design Engineer at Dxcorr Design Inc. Rajnish Kumar holds M.Tech, Communication System Engineering, 7.09 from Indian Institute Of Technology, Patna.
Company email context
Email format at Synopsys Inc
This section adds company-level context without repeating Rajnish Kumar's masked contact details.
{first}.{last}@st.com
86% confidence
AeroLeads found 1 current-domain work email signal for Rajnish Kumar. Compare company email patterns before reaching out.
Profile bio
About Rajnish Kumar
I am Rajnish Kumar, an aspiring engineer and a recent graduate from the prestigious Indian Institute of Technology (IIT), Patna, where I earned my Master of Technology degree in June 2023. I am Currently Working at Synopsys Inc. as Formal Verification Engineer.Prior to my current role ,Worked as RTL design Engineer at DXCorr Hardware Technology,Bengaluru. I have also gained practical experience as a Design Verification Intern at STMicroelectronics Pvt Ltd, where I worked on formal verification tools by Cadence and attended industry events to expand my knowledge.My passion lies in digital electronics and verification methodologies, and I have successfully completed projects in this domain. My M.Tech project, "Comparison Of Register Verification Methodology Via Dynamic Simulation Vs Formal Verification " demonstrated my Learnings in formal verification tools. I enjoy playing badminton and cricket, as well as participating in social work. I consider myself trustworthy, a team player, respectful, and optimistic in my approach.I was key person in organizing the Research Scholar Day 2023 event at IIT-Patna and I Volunteered for PIWOT-23.I invite you to connect with me to explore potential collaborations, discuss industry trends, or simply engage in meaningful conversations within the field of electronics and communication engineering. Let's connect and make a difference together!
Listed skills include Matlab, Python, and C (Programming Language.
Current workplace
Rajnish Kumar's current company
Company context helps verify the profile and gives searchers a useful next step.
Synopsys Inc
3 roles
Rajnish Kumar work experience
A career timeline built from the work history available for this profile.
Rtl Design Engineer
Nov 2023 - May 2024
Design Verification Intern
Sep 2022 - Jul 2023
Team & coworkers
Colleagues at Synopsys Inc
Other employees you can reach at synopsys.com. View company contacts for 10 employees →
MA
Marco Almeida
Colleague at Synopsys Inc
Vale De Cambra, Aveiro, Portugal, Portugal
View →
LK
Larry Ke
Colleague at Synopsys Inc
Taiwan, Taiwan, Province Of China
View →
SS
Saurin Shroff
Colleague at Synopsys Inc
Nashua, New Hampshire, United States, United States
View →
TH
Tammy Hunt
Colleague at Synopsys Inc
Austin, Texas, United States, United States
View →
SP
Shreya Pawar
Colleague at Synopsys Inc
Pune, Maharashtra, India, India
View →
SY
Stephen Yue
Colleague at Synopsys Inc
Canada, Canada
View →
LM
Leonardo Maia
Colleague at Synopsys Inc
Portugal, Portugal
View →
AV
Anomeh Valijan
Colleague at Synopsys Inc
Yerevan, Armenia, Armenia
View →
SK
Sathish Kumar
Colleague at Synopsys Inc
Hyderabad, Telangana, India, India
View →
UK
Upul Kumara
Colleague at Synopsys Inc
Kandy District, Central Province, Sri Lanka, Sri Lanka
View →
Marco Almeida
Colleague at Synopsys Inc
Vale De Cambra, Aveiro, Portugal, Portugal
View →
LK
Larry Ke
Colleague at Synopsys Inc
Taiwan, Taiwan, Province Of China
View →
SS
Saurin Shroff
Colleague at Synopsys Inc
Nashua, New Hampshire, United States, United States
View →
TH
Tammy Hunt
Colleague at Synopsys Inc
Austin, Texas, United States, United States
View →
SP
Shreya Pawar
Colleague at Synopsys Inc
Pune, Maharashtra, India, India
View →
SY
Stephen Yue
Colleague at Synopsys Inc
Canada, Canada
View →
LM
Leonardo Maia
Colleague at Synopsys Inc
Portugal, Portugal
View →
AV
Anomeh Valijan
Colleague at Synopsys Inc
Yerevan, Armenia, Armenia
View →
SK
Sathish Kumar
Colleague at Synopsys Inc
Hyderabad, Telangana, India, India
View →
UK
Upul Kumara
Colleague at Synopsys Inc
Kandy District, Central Province, Sri Lanka, Sri Lanka
View →
1 education record
Rajnish Kumar education
FAQ
Frequently asked questions about Rajnish Kumar
Quick answers generated from the profile data available on this page.
What company does Rajnish Kumar work for?
Rajnish Kumar works for Synopsys Inc.
What is Rajnish Kumar's role at Synopsys Inc?
Rajnish Kumar is listed as Formal Verification Engineer @ SYNOPSYS | EX- DXCorr | Former Design Verification Intern @ STMicroelectronics | M.Tech'23@ IIT,Patna at Synopsys Inc.
What is Rajnish Kumar's email address?
AeroLeads has found 1 work email signal at @st.com for Rajnish Kumar at Synopsys Inc.
Where is Rajnish Kumar based?
Rajnish Kumar is based in Bengaluru, Karnataka, India while working with Synopsys Inc.
What companies has Rajnish Kumar worked for?
Rajnish Kumar has worked for Synopsys Inc, Dxcorr Design Inc, and Stmicroelectronics.
Who are Rajnish Kumar's colleagues at Synopsys Inc?
Rajnish Kumar's colleagues at Synopsys Inc include Marco Almeida, Larry Ke, Saurin Shroff, Tammy Hunt, and Shreya Pawar.
How can I contact Rajnish Kumar?
You can use AeroLeads to view verified contact signals for Rajnish Kumar at Synopsys Inc, including work email, phone, and LinkedIn data when available.
What schools did Rajnish Kumar attend?
Rajnish Kumar holds M.Tech, Communication System Engineering, 7.09 from Indian Institute Of Technology, Patna.
What skills is Rajnish Kumar known for?
Rajnish Kumar is listed with skills including Matlab, Python, and C (Programming Language.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialPeople with similar names
Check these profiles if this is not the Rajnish Kumar you were looking for.
View similar profiles
