[上海][17k-30k][实习/应届/社招][DevOps]Formal Verification EDA

[jiang42]

About Arcas

At Arcas, we pioneer advanced formal verification technology, providing robust, and powerful software solutions for assuring IC integrity in ASICs, FPGAs, and SoCs. Operating at the cutting edge of technology, we have a direct impact on the development processes, verification methodologies, and final products of our customers across the electronics industry. To keep up with the increasing demand for our software products, we need a team of the best and brightest in a variety of disciplines.

DevOps Engineer, Development and Test Infrastructure

Arcas is looking for a highly motivated DevOps Engineer. Together with our software development and IT teams, you will be responsible for the smooth operation of our software suite.

Responsibilities

As DevOps Engineer, you will have the following responsibilities when working with the development and IT teams:

• Developing, maintaining and improving development and test systems for the productive operation
• Supporting the whole software development process all the way to the go-live in accordance with agile development methods
• Reviewing occurring errors as well as analyzing and implementing optimization measures
• Automation and continuous improvement of our build and deployment processes in collaboration with our development teams
• Supporting the team to keep the code quality high by using the right tools for software quality assurance
• Identifying and assessing the applicability of new technologies and trends

Requirements

The successful candidate will possess the following experience:

• Strong experience with application operations, e.g. with Shell-Scripting, python, automated deployments/provisioning and configuration management
• Know-how of administering Linux systems
• Experience with toolchains for C++ application development as well as static analysis and testing
• Solid to excellent knowledge of tools and systems, like Jenkins, Docker and git
• Ability to think and learn quickly, outstanding analytical skills and creativity in finding solutions
• Willingness to pair and get things done, enjoying working with agile methodologies

Junior Software Engineer, Quality Assurance

Arcas is looking for a highly motivated software engineer to work as a link among R&D, Product Marketing, and Application Engineering. As Quality Assurance Engineer you develop and execute exploratory tests as well as automated tests in order to ensure product quality. You will also ensure that quality issues and defects are appropriately identified, documented, tracked, and resolved in our defect tracking system. Our experienced engineers will help you diving deeply into Arcas’s technology, teach you effectiveness, improving your skills every day.

Responsibilities

As Quality Assurance Software Engineer, you will review requirements specifications and technical design documents to provide timely and meaningful feedback. Create detailed, comprehensive and well-structured test plans and test cases. You will estimate, prioritize, plan, and coordinate testing activities. Design, develop and execute automation scripts. Identify, record, document thoroughly and track bugs. Perform thorough regression testing when bugs are resolved.

Requirements

The successful candidate will possess the following combination of education and experience:

• Solid knowledge of scripting languages
• Experience with performance testing is a plus
• Experience with hardware development in VHDL/Verilog is a strong plus
• Team player. Responds to input from others willing to speak up when help or information is needed
• Good communication skills

Field Application Engineer

The main responsibility of a Field Application Engineer is ownership of the technical side of the customer relation in developing business. It comprises pre–sales consultancy and post–sales support for all Arcas product lines, including solutions for functional verification of complex modules, IP, processors, and sub-systems, as well as solutions for synthesis verification for ASIC and FPGA designs. Performing technical presentations and demonstrations, writing white papers, success stories, and application notes are additional job functions.

Responsibilities

Pre–sales consultancy and post–sales support for all Arcas product lines. Obtain the ownership of the technical side of the customer relation in developing business. Close working relationship with the VP Sales. Enable customers to apply property checking solutions for formal verification of complex modules, IP, processors, and sub-systems, as well as equivalence checking solutions for synthesis verification for ASIC and FPGA designs using the Arcas Solutions product lines. Create and perform technical presentations and demonstrations at customer site. Drive and manage technical evaluations at customer site. Have a key role in tradeshows, verification seminars, and marketing by developing tutorials, application notes, training materials, writing white papers, and success stories. Identify & qualify relevant verification projects at the customer to increase usage of the Arcas Solutions product range. Drive product improvements, feature qualifications and methodology definitions by interfacing tightly with customer support and R&D to enhance products and user experience as the basis for success.

Requirements

The successful candidate will possess the following combination of education and experience:

• The applicant should hold a master degree (or similar) in electrical engineering, microelectronics, computer science or physics.
• Working knowledge of HDL such as Verilog, SystemVerilog, and VHDL.
• Relevant experience in design/verification of digital circuits.
• Capability to navigate within customer organizations and mobility to work with customers on-site.
• Strong communication skills to interact with external customers and internal engineering staff.
• Knowledge of verification languages (SVA, PSL), verification methodologies and tools is a strong plus.

Send your resume to [e-mail]