At a Glance
- Tasks: Develop and implement formal verification test plans to ensure design correctness.
- Company: Baya Systems, a leader in computer hardware and semiconductor manufacturing.
- Benefits: Full-time position with competitive salary and opportunities for professional growth.
- Other info: Collaborative environment with opportunities for innovation and career advancement.
- Why this job: Join a dynamic team and make a significant impact on cutting-edge technology.
- Qualifications: 6-7 years of experience in formal verification and strong skills in System Verilog.
The predicted salary is between 48000 - 72000 £ per year.
Baya Systems is seeking an experienced Sr. Formal Verification specialist to join the DV team in England, United Kingdom. This position will be onsite at a strategic office location yet to be determined. Overall, we are looking for at least 6/7 years of industry experience.
Responsibilities
- Develop detailed formal verification (FV) test plans based on design specifications and collaborate with design teams to refine micro-architecture specifications.
- Identify key logic components and critical micro-architectural properties essential for ensuring design correctness.
- Implement formal verification models, abstractions, assertions, and utilize assertion-based model checking to detect corner-case bugs.
- Apply complexity reduction techniques using industry-standard EDA tools or academic formal verification tools to achieve proof convergence or sufficient depth.
- Develop and maintain scripts to enhance FV productivity and streamline verification processes.
- Assist design teams with the implementation of assertions and formal verification testbenches for RTL at unit/block levels.
- Participate in design reviews and collaborate with design teams to optimize design quality and performance, power, and area (PPA) metrics based on formal analysis feedback.
Qualifications
- Strong proficiency in System Verilog/Verilog.
- Good scripting abilities with Python or Perl.
Preferred Experience
- Hands-on experience with formal verification tools such as Synopsys VCFormal and Cadence JasperGold.
- Experience with both bug hunting and static proof verification techniques.
- Familiarity with automating formal verification workflows within a CI/CD environment.
For those interested, please apply to the job posting below or contact: Manager, Talent Acquisition
Job details
- Seniority level: Mid-Senior level
- Employment type: Full-time
- Job function: Engineering and Other
- Industries: Computer Hardware Manufacturing, Semiconductor Manufacturing, and Software Development
#J-18808-Ljbffr
Sr. Formal Verification Engineer employer: Baya Systems
Baya Systems is an exceptional employer that fosters a dynamic and innovative work culture in Newtown, UK. With a focus on employee growth, we offer extensive training opportunities and performance incentives, ensuring our team thrives in a fast-paced startup environment. Join us to be part of a collaborative team dedicated to solving customer challenges in the semiconductor industry while enjoying comprehensive health benefits.
StudySmarter Expert Advice🤫
We think this is how you could land Sr. Formal Verification Engineer
✨Join Engineering Meetups!
Get yourself along to local engineering meetups or tech conferences. These are great places to connect with like-minded folks and industry leaders who might just have a lead on that full-time Sr. Formal Verification Engineer role you’re after at Baya Systems.
✨Show Off Your Projects!
Don’t be shy about showcasing your engineering projects. Whether it’s a funky app, a mechanical design, or a complex algorithm, having a solid portfolio on platforms like GitHub can really make you stand out. Plus, it gives potential employers at Baya Systems a taste of what you can bring to the table!
✨Engage with Online Communities
Dive into engineering forums and online communities, like Reddit or specific engineering Discord channels. Sharing your insights, asking questions, and being active can help you build connections that might lead to job opportunities at Baya Systems.
✨Apply Through Company Websites
When you spot a role like Sr. Formal Verification Engineer at Baya Systems, apply directly through their website. Often, this can show your genuine interest in the company and you might just get noticed quicker than via typical job boards.
We think you need these skills to ace Sr. Formal Verification Engineer
Some tips for your application 🫡
Showcase Your Technical Expertise:When applying for an engineering role like Sr. Formal Verification Engineer, it’s essential to highlight your technical skills. Include any relevant software or tools you're proficient in on your CV—think CAD software, simulation tools, or programming languages. Don't skimp on any engineering projects you've worked on that demonstrate your ability to solve complex problems.
Focus on Results and Impact:In the engineering world, we love numbers and real-world impact. Quantify your achievements wherever possible—like reducing costs by a certain percentage, improving efficiency, or successfully completing a project ahead of schedule. This gives your future employers at Baya Systems a clear picture of the value you can bring.
Craft a Compelling Cover Letter:Use your cover letter to express your passion for engineering and explain why you’re drawn to Baya Systems specifically. Share what aspects of their work excite you and how your values align with theirs. This is your chance to show a bit of personality while keeping it professional!
Include Relevant Certifications:If you have any engineering certifications, especially ones that are recognised in your field, make sure to feature them prominently on your CV. They demonstrate not just your knowledge, but also your commitment to professional development, which is something we at StudySmarter value highly.
How to prepare for a job interview at Baya Systems
✨Brush Up on Core Engineering Principles
Before heading into the interview with Baya Systems, make sure you're solid on the fundamental engineering principles relevant to the role. Be ready to discuss concepts such as thermodynamics, fluid mechanics, or structural analysis, depending on the specifics mentioned in the job description. Don’t skip any hands-on projects or coursework; these can be excellent talking points!
✨Show Off Your Problem-Solving Skills
Expect technical questions or case studies during your interview—after all, engineering is all about solving problems! Prepare a few examples of how you've tackled engineering challenges in the past, whether at university or in any practical experience. Practising with mock technical interviews can really help you articulate your thought process and solutions.
✨Relate Your Experience to the Role
In a full-time role, employers like Baya Systems want to see that you can adapt and grow within their team. Be ready to discuss how your previous internships, projects, or studies relate directly to the work you'll be doing. Highlight specific experiences that showcase your collaborative skills and how you've successfully worked within a team environment.
✨Know Your Tools and Software
Most engineering roles require familiarity with specific tools and software. Prepare to talk about your proficiency with programmes like AutoCAD, MATLAB, or SolidWorks if they’re relevant to the role. Even better, have examples of projects where you’ve used these tools, as it'll demonstrate your hands-on experience and readiness for the job.
