Application Engineer I - Formal VerificationCadence Design Systems Inc. is looking for a motivated Formal Verification Application Engineer I to work with us in Belo Horizonte, Brazil.
As an Application Engineer I, you will be trained to become an expert in Formal Verification methodologies in the System Verification Group Technical Field Operations group (TFO-SVG) in Belo Horizonte. The TFO-SVG group works with Jasper, Xcelium, Palladium, Protium, 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 in a Formal Verification focused team working with our Jasper Formal Verification Platform 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's most challenging problems.
Working at Cadence is very dynamic, fast-paced, and integrated with other teams all around the world.
Job description: Application Engineer on areas listed above reporting to higher managementEngage with AE team on Pre-sales technical campaigns from the technical side, working along with Sales and MarketingProvide technical support to customers and field personnel in RTL verification solutions focused in Jasper (Formal Verification)Conduct root cause analysis and provide resolution to customer technical issuesRun 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 documentationUse scripting languages like TCL and Python for flow development, automation and enhancing design methodologiesMinimum Requirements Complete Bachelor in Electrical Engineering, Control and Automation Engineering, Systems Engineering, Computer Science and related areasExcellent verbal and written communications skills in Portuguese and EnglishGood problem-solving skillsStrong inter-personal and communication skillsA strong interest in contributing to customer success with related technical interest in EDA, hardware development (HDL's), and Logic DesignNice to have Skills Experience in scripting languages such as TCL and Python is a plusExposure to RTL (Verilog or VHDL)Knowledge of Formal Methods is a plusExposure to microelectronics and or EDA, with experience on verification methodologies as formal verification, functional verification (simulation), or model verification. Knowledge of Cadence verification tools is a plusAdditional Job Details: Employment category: CLTEmployment term: 40 hours/weekCompetitive benefitsHybrid work in Belo Horizonte, Minas Gerais, Brazil: Av. do Contorno 5800About Cadence Design Systems: 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.
#J-18808-Ljbffr