Formal Verification & Software Engineer
Siemens
- Grenoble, Isère
- CDI
- Temps-plein
- Developing specification for software from often incomplete and
- ambiguous requirements
- Software development, testing and code quality best practices.
- Benchmarking
- Debugging of software, either in house, or in customer environments
- Developing solutions and methodologies for unique customer problems
- Communicating with peers, other teams, and customers
- The candidate will possess either a Master’s degree with 5+ years of experience, or a Ph.D. with 2+ years of experience in computer science, electrical engineering or related fields.
- The candidate should possess strong skills in algorithms and data structures, at least one modern programming language, with C++ preferred, scripting languages, program/data flow analysis, computer arithmetic, etc.
- The position may involve occasional travel for internal meetings, as the team is geographically diverse.
- Understanding of formal verification of hardware/software
- Mathematical/analytical abilities
- Compilers
- High-level/behavioral synthesis
- Hardware design
- RTL simulation tools