20 melhores vagas de application developer para minas gerais (Contratando agora!)

Intern: Application Engineering - Formal Verification
Cadence Design Systems —Belo Horizonte, MG
- Meio período
- Inglês
- Scripting
- Habilidade de Comunicação
Há 6 dias
Intern: Application Engineering - Digital Simulation/Verification & Agentic AI
Cadence Design Systems —Belo Horizonte, MG
- Meio período
- Graduação
- Inteligência artificial
- Python
Há 6 dias
Sr. Principal Functional Verification Engineer: Applied ML
Cadence Design Systems —Belo Horizonte, MG
- Tempo integral
- Doutorado
- Ciência da Computação
- Inglês
Jovem Aprendiz 2026 - Belo Horizonte/MG
Kyndryl —Belo Horizonte, MG
- Meio período
- Home Office
- Ensino Médio
- Inteligência artificial
Há 3 dias
Tax manager
Epiroc Brazil Commerce of Products and S —Vespasiano, MG
- Microsoft Excel
- Inglês
- Graduação
Tax Analyst
Hire Hangar —Belo Horizonte, MG
- Home Office
- Inglês
- Pesquisa
- Contabilidade
Candidatura rápida
Technical Program Manager
Edgeuno —Uberlândia, MG
- Tempo integral
- Gestão
- PMP
- Inglês
Candidatura rápida
Software Engineer (Front-End)
WatchGuard Technologies, Inc. —Santa Rita do Sapucaí, MG
- Tempo integral
- Java
- Banco de Dados
- Agile
Candidatura rápida
Senior Software Engineer
WatchGuard Technologies, Inc. —Santa Rita do Sapucaí, MG
- Tempo integral
- Azure
- Ciência da Computação
- Banco de Dados
Candidatura rápida
SRE & AI Automation Engineer
Edgeuno —Uberlândia, MG
- Tempo integral
- Modelo Híbrido
- DevOps
- Inglês
- Banco de Dados
Candidatura rápida
SPECIALIST IN CYBERSECURITY - DLP Expert
Stellantis —Betim, MG
- Inglês
- Graduação
- Inteligência artificial
Software Engineer II : AI Compiler Engineer
Cadence Design Systems —Belo Horizonte, MG
- Tempo integral
- Ciência da Computação
- Doutorado
- Ciência da Computação
Há 6 dias
Lead Software Engineer: Automotive Solutions
Cadence Design Systems —Belo Horizonte, MG
- Tempo integral
- Ciência da Computação
- Ciência da Computação
- DevOps
Software Engineer (For Women in Tech Candidates)
Google —Belo Horizonte, MG
- Doutorado
- Ciência da Computação
- Inglês
Cybersecurity Engineer I
Cadence Design Systems —Belo Horizonte, MG
- Tempo integral
- Azure
- Ciência da Computação
- Graduação
ANALYST IN CYBERSECURITY - Emergency Vulnerability Response Analyst
Stellantis —Betim, MG
- Gestão
- Inglês
- Banco de Dados
Privileged Access Management Operator
Eurofins Agroscience Services Inc —Belo Horizonte, MG
- Tempo integral
- Ciência da Computação
- Gestão
- Ciência da Computação
Global Salesforce CRM Administrator
Rayner Intraocular Lenses —Belo Horizonte, MG
- Tempo integral
- CRM software
- Microsoft Excel
- Gestão
Privileged Access Management Operator
Eurofins —Belo Horizonte, MG
- Tempo integral
- Modelo Híbrido
- Ciência da Computação
- Gestão
- Ciência da Computação
Candidatura rápida
Employee Relations Specialist, Employee Relations
Amazon Servicos de Varejo do Brasil Ltda. —Betim, MG
- Tempo integral
- Microsoft Powerpoint
- Microsoft Word
- Microsoft Excel

Eu quero receber o alerta de vagas mais recentes de application developer para minas gerais

Ao acessar sua conta, você concorda com os Termos de Serviço do SimplyHired e consente com a nossa Política de Cookies e de Privacidade.

Intern: Application Engineering - Formal Verification

Cadence Design Systems -
Belo Horizonte, MG

Candidate-se Agora

Detalhes da vaga

Meio período
Há 6 dias

Qualificações

Inglês
Scripting
Habilidade de Comunicação
Python

Descrição completa da vaga

At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology.

Cadence Design Systems Inc. is looking for a motivated Intern: Application Engineering - Formal Verification to work with us in Belo Horizonte, Brazil.

As an Application Engineer Intern, you will be trained to become an expert in Formal Verification methodologies in the System Verification Group - Technical Field Operations (TFO-SVG) in Belo Horizonte. The TFO-SVG group works with Xcelium, Palladium, Protium, Jasper, VIPs, and other Cadence Digital Functional Verification tools. The application engineers provide technical support, enabling customers to effectively deploy our industry-leading technology, focused on RTL-level verification products. You will be trained in a Digital Verification & Simulation focused team working with our Jasper Formal Verification Platform, complimentary tools, and its customers to understand their needs and provide guidance on the best technologies and methodologies to enable their success, coming up with innovative solutions to address the industry most challenging problems. You’ll be mentored by experienced professionals to learn languages, tools, and verification methodologies from scratch.

Working at Cadence is very dynamic, fast-paced, and integrated with other teams all around the world

Job Description:

Activities focused on the Formal Verification field as mentioned above, mentored by experienced colleague, and reporting to higher management.
Provide technical support to customers and field personnel in RTL verification solutions focused on the Jasper tool.
Conduct root cause analysis and provide resolution to customer technical issues.
Run customer test cases to verify problems, create workarounds when possible, test and deliver R&D fixes.
Close collaboration with R&D on issues using established protocols.
Author application notes and help provide feedback on documentation.
Use scripting languages like TCL for flow development, automation and enhancing design methodologies.

Requirements:

Ongoing Bachelor in Electrical Engineering, Control and Automation Engineering, Systems Engineering, Electronics Engineering, Computer Science, Information Systems, Computational Mathematics, or related areas.
Graduating in mid 2027 .
Excellent verbal and written communications skills in Portuguese and English.
Good problem-solving skills.
Strong inter-personal and communication skills.
A strong interest in learning the technical topics mentioned above.

Nice to have:

Basic understanding or University knowledge and contact with any of these:

Experience in scripting languages such as TCL and Python is a plus.
Exposure to RTL (Verilog or VHDL) is a plus.

Additional Job Details:

Employment category: Internship.
Employment term: 20 hours/week.
Competitive benefits.
Av. do Contorno 5800, Savassi, Belo Horizonte, Minas Gerais.

About Cadence Design Systems:

At Cadence, we hire and develop leaders and innovators who want to impact the world of technology. Cadence has been nominated as a Great Place to Work globally and in Brazil and is also a Fortune 100 Best Companies to Work For.

Cadence is the only company that provides the expertise and tools, IP, and hardware required for the entire electronics design chain, from chip design to chip packaging to boards and to systems. We enable electronic systems and semiconductor companies to create innovative products that transform the way people live, work, and play. Our products are used in mobile, consumer, cloud datacenter, automotive, aerospace, IoT, industrial and other market segments. For more information, access http://www.cadence.com .

We’re doing work that matters. Help us solve what others can’t.

Candidate-se Agora

Refine sua pesquisa

application developer vagas para: minas gerais

Intern: Application Engineering - Formal Verification

Intern: Application Engineering - Digital Simulation/Verification & Agentic AI

Sr. Principal Functional Verification Engineer: Applied ML

Jovem Aprendiz 2026 - Belo Horizonte/MG

Tax manager

Tax Analyst

Technical Program Manager

Software Engineer (Front-End)

Senior Software Engineer

SRE & AI Automation Engineer

SPECIALIST IN CYBERSECURITY - DLP Expert

Software Engineer II : AI Compiler Engineer

Lead Software Engineer: Automotive Solutions

Software Engineer (For Women in Tech Candidates)

Cybersecurity Engineer I

ANALYST IN CYBERSECURITY - Emergency Vulnerability Response Analyst

Privileged Access Management Operator

Global Salesforce CRM Administrator

Privileged Access Management Operator

Employee Relations Specialist, Employee Relations

Eu quero receber o alerta de vagas mais recentes de application developer para minas gerais

Related Searches

At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology.

We’re doing work that matters. Help us solve what others can’t.

Ferramentas para candidatos

Ferramentas da empresa

Pesquisar

Mantenha o contato