обновлено 5 дней назад
Software Engineer I: Jasper R&D
Вакансия из Hirify Global, списка международных tech-компанийДля мэтча и отклика нужен Plus
Мэтч & Сопровод
Для мэтча с этой вакансией нужен Plus
Описание вакансии
Текст:
TL;DR
Software Engineer I: Jasper R&D (C++/Formal Verification): Developing and validating new solutions for Jasper, a formal verification tool, with an accent on advanced algorithms, graph modeling, and HDL synthesis. Focus on building formal engines, solving challenging verification problems, and collaborating on next-generation technologies.
Location: Onsite in Belo Horizonte, Minas Gerais, Brazil
Requirements
- Bachelor’s degree in computer science, computer engineering, electrical engineering, or equivalent experience.
- Advanced knowledge of data structures and algorithms.
- Advanced knowledge of graphs.
- Good knowledge of C++.
- Good spoken and written English.
Nice to have
- Basic knowledge of formal methods.
- Experience with formal verification or simulation.
- Knowledge or experience in EDA and VLSI design, including Verilog and VHDL.
What you will do
- Develop and validate new solutions for Jasper, a formal verification tool.
- Work on formal engines, HDL synthesis, graph modeling, and other advanced technology challenges.
- Collaborate with the Systems and Verification group in Belo Horizonte.
Culture & Benefits
- Full-time employment under Brazil’s CLT employment framework.
- 40-hour work week.
- Work alongside experienced engineers with opportunities for professional growth.
Будьте осторожны: если работодатель просит войти в их систему, используя iCloud/Google, прислать код/пароль, запустить код/ПО, не делайте этого - это мошенники. Обязательно жмите "Пожаловаться" или пишите в поддержку. Подробнее в гайде →