Lead Software Engineer: Jasper R&D
Indexed description
Be part of the Jasper team, in a very dynamic and fast-paced environment, integrated with other teams all around the world. To understand more about what we do, you can visit Jasper Formal Verification Platform.
Job Description
- Lead the resolution of complex engineering challenges within the Jasper product, from design through release.
- Working in C++ on a large-scale code base, along with several scripting languages, you will contribute as part of the Jasper R&D team in an innovative, supportive, and collaborative environment.
- Provide day-to-day technical leadership and mentoring to junior developers, helping the manager to distribute and control the technical tasks.
- Completed Bachelor's degree in Computer Science, Computer Engineering, or a related Engineering, Mathematics, or Statistics program, with 4 or more years of experience in the software industry.
- Strong knowledge of data structures and algorithms, with attention to performance and scalability.
- Solid grasp of object-oriented design principles and patterns.
- Proficiency in modern C++.
- Good written and spoken English with strong communication skills.
- Knowledge of hardware verification techniques, such as simulation and formal verification.
- Familiarity with hardware description languages (Verilog, VHDL).
- Experience with scripting languages (Python, Tcl) in a Unix environment.
- Employment category: CLT
- Employment term: 40 hours/week.
- Competitive benefits.
- Location: Av Contorno 5800, Savassi, Belo Horizonte, Minas Gerais Brazil
We’re doing work that matters. Help us solve what others can’t.
Create a free Caio profile to unlock more results and save your role and location preferences.
Unlock free search