楷登电子
Software Engineer II
Software Engineer II
发布于 1 天前普通员工/个人贡献者
HSINCHU, Taiwan
中级经验
全职员工
仅现场办公
硕士
软件工程
Ai-Assisted Development
Algorithms
Debugging
Eda
Formal Verification
Soc
Tcl
Ui Design
AI 估算 · 18k–28k
中级软件工程师，EDA行业，台湾新竹，薪酬水平较高，结合市场行情估算。
职位详情
关于这个职位
This role involves designing and developing next-generation formal verification technologies for leading semiconductor companies. You will work on core algorithms, formal engines, and user interfaces, collaborating with global R&D teams. The position offers strong technical impact and the opportunity to shape advanced EDA tools.
最低要求
Master's or PhD in Computer Science, Electrical Engineering, or a related field.
Strong proficiency in C++ (required); Python or Tcl is a plus.
Experience with large-scale software systems, performance optimization, and complex debugging.
Solid understanding of netlist transformation and structural/functional equivalence checking.
Interest in or experience with AI-assisted development, coding agents, or workflow automation.
工作职责
Design and develop core algorithms, data models, software components, and user interfaces for Conformal products.
Build intuitive UI workflows that make advanced formal technologies accessible and efficient for users.
Apply modern “vibe coding” practices, including rapid prototyping and iterative refinement across UI and backend components.
Develop and integrate agent‑based or AI‑assisted workflows to improve productivity, automation, and user experience.
Debug and resolve complex customer design issues, including large‑scale SoCs and hierarchical designs.
Collaborate with global R&D teams to integrate Conformal technologies with Genus, Innovus, LEC, and Cerebrus flows.
Work with field teams to understand customer use cases, reproduce issues, and deliver robust solutions.
优先资格
Experience with logic optimization, Boolean or graph-based algorithms.
Ability to combine algorithmic depth with rapid, exploratory development ("vibe coding").
Strong problem-solving skills and effective cross-team communication.
AI 洞察
优缺点分析
优点
- Work on cutting-edge formal verification technology used by top semiconductor companies.
- Strong technical challenges that build deep expertise in algorithms and EDA.
- Collaboration with global R&D teams provides valuable cross-cultural experience.
- Cadence is a stable, publicly traded company with established market leadership.
- Requires deep understanding of complex formal methods and large-scale debugging.
- Fast-paced development with rapid prototyping ('vibe coding') may suit some but not all.
- On-site role in Hsinchu may limit flexibility for remote work.
- Engineers with a strong background in C++, algorithms, and formal verification who enjoy solving complex technical problems and collaborating globally.
缺点 / 挑战
暂无明显挑战项
角色解读
- Progress to Senior Software Engineer focusing on advanced formal algorithms and AI integration.
- Move into technical lead roles overseeing major features or mentoring junior engineers.
- Expand impact by collaborating with cross-functional teams and influencing product roadmap.
- Design and develop core algorithms and data models for formal verification tools.
- Build intuitive user interfaces and workflows to simplify complex formal technologies.
- Integrate AI-assisted and agent-based features to enhance automation and productivity.
- Debug large-scale SoC designs and collaborate with global teams to resolve customer issues.
- Strong C++ programming is essential for algorithm implementation and performance optimization.
- Solid understanding of formal verification concepts, netlist transformation, and equivalence checking.
- Experience with large-scale software systems and complex debugging.
- Familiarity with Python or Tcl and interest in AI-assisted development workflows.
申请策略
- Tailor your resume to highlight algorithmic depth and problem-solving skills.
- Research Cadence's Conformal product line and understand its role in the design flow.
- Emphasize experience with C++ and large-scale software system development.
- Highlight any projects involving formal verification, equivalence checking, or EDA tools.
- Showcase contributions to optimization, debugging, and cross-team collaboration.
- Mention familiarity with AI-assisted development or automation workflows.
- Brush up on formal verification concepts (model checking, equivalence checking).
- Practice rapid prototyping and iterative development (vibe coding) if not already familiar.
面试指南
- Use structured approaches: problem definition, approach, implementation, trade-offs, results.
- For algorithmic questions, discuss complexity, data structures, and edge cases.
- For behavioral questions, follow STAR (Situation, Task, Action, Result) method.
- Explain how you would implement an equivalence checking algorithm for large netlists.
- Describe a time you debugged a complex software issue in a large codebase.
- How would you design a UI to make a complex formal verification tool user-friendly?
- What is your experience with AI-assisted development or coding agents?
- How do you approach performance optimization in C++?
职位点评
68
综合评分
Strong technical impact and learning opportunities in formal verification, but on-site only and no remote flexibility.
更适合这类人
Candidates prioritizing technical growth and cutting-edge work over flexible work arrangements.
表现最好
成长发展
相对薄弱
工作生活
薪资福利75
成长发展85
工作生活40
使命价值70
薪资福利
75中等
Cadence offers competitive compensation for intermediate engineers in Hsinchu, with stable benefits from a large public company. However, specific salary details are not disclosed in the JD.
薪资信号未披露（AI估算：18K-28K/月）
成长发展
85较高
The role involves cutting-edge formal verification technologies, AI integration, and rapid prototyping, offering strong technical growth. Collaboration with global teams enhances learning opportunities.
技术前沿前沿/新兴技术
技术栈C++、formal verification、AI-assisted development、vibe coding、algorithms
业务类型profit_center
工作生活
40较低
The job requires on-site presence in Hsinchu with no mention of remote work or flexible hours. Office location type is not specified, but likely a tech park environment.
工作模式仅现场办公
办公地点科技园/产业园
加班情况未提及（无法判断）
使命价值
70中等
Working on formal verification contributes to semiconductor design correctness, which has a positive impact on technology reliability. The EDA industry is stable, but the role is not directly mission-driven.
行业发展稳定成熟行业
社会影响中性/一般
创新程度积极采用新技术
Watch Jobs