At a Glance
- Tasks: Develop formal verification test plans and collaborate with design teams 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: Onsite role with potential for career advancement in a collaborative environment.
- Why this job: Join a dynamic team and make a significant impact on cutting-edge technology projects.
- Qualifications: 6-7 years of experience in formal verification and strong skills in System Verilog/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.
Sr. Formal Verification Engineer in England 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 in England
✨Join Local Tech Meetups
Get out there and mingle with fellow developers by joining local tech meetups. It’s a fantastic way to meet people who might be working at Baya Systems or know someone who does. Plus, you can pick up some trendy tech skills and trends while you're at it!
✨Contribute to Open Source Projects
Show off your coding chops by jumping into open-source projects. Not only does this give you practical experience, but it also gets you noticed in the dev community. You'll create a killer portfolio that speaks volumes about your skills to Baya Systems.
✨Tap into Online Developer Communities
Don’t underestimate the power of online developer communities like GitHub, Stack Overflow, and even Reddit. Participate in discussions, share your projects, and build your visibility. We can often find opportunities through these channels that can lead to a full-time gig at companies like Baya Systems.
✨Explore Job Boards Specifically for Tech Roles
Keep your eyes peeled on job boards that focus on tech roles. Sites like TechCareers or Stack Overflow Jobs can often have listings for companies like Baya Systems that might not show up on broader job sites. Make it a habit to check these regularly, and don’t hesitate to apply directly through our website!
We think you need these skills to ace Sr. Formal Verification Engineer in England
Some tips for your application 🫡
Show off your coding skills:When applying for a software engineering role, it's super important to showcase your coding skills. Make sure your CV includes your tech stack, any relevant programming languages you’re comfortable with, and examples of projects you've worked on. If you have a GitHub profile, link it up! We love to see code in action.
Tailor your portfolio:For a full-time role, we’d expect to see some solid examples of your work in your portfolio. Make sure to include at least two or three projects that highlight your problem-solving skills and your ability to work with different technologies. Focus on the projects that are most relevant to the position at Baya Systems.
Craft a killer cover letter:Your cover letter is your chance to stand out—make it personal! Explain why you want to work at Baya Systems and how your skills align with the role. Show us your passion for software development. We dig enthusiastic candidates who understand the value of collaboration and continuous learning!
Be clear and concise:When it comes to writing your CV and cover letter, clarity is key. Avoid jargon that could confuse us and stick to simple, direct language. Highlight your achievements with quantifiable results where possible, and keep everything easy to read. A well-organised application goes a long way!
How to prepare for a job interview at Baya Systems
✨Brush Up on Your Coding Skills
For a full-time software engineering role, it's crucial that we stay sharp with our coding abilities. Expect technical questions that might involve solving problems on the spot or discussing algorithms. Practise on platforms like LeetCode or HackerRank to get comfortable with the types of questions that often come up.
✨Know Your Tools and Frameworks
Make sure we’re well-acquainted with the tools and technologies listed in the job description. Familiarise ourselves with any specific frameworks or programming languages mentioned. If Baya Systems uses React or Node.js, for instance, be ready to discuss how we’ve used them in previous projects or coursework.
✨Showcase Your Projects
Bring along a portfolio that highlights our best work. This could be code samples, GitHub repositories, or any side projects we’ve built. Make sure we can talk through our thought process for each project, especially the challenges we faced and how we solved them—this shows our problem-solving skills in action.
✨Prepare for Behavioural Questions
While technical skills are key, full-time positions also require cultural fit. Be ready to discuss our previous experiences and how we handle teamwork, conflict, and deadlines. Brush up on the STAR method—Situation, Task, Action, Result—to clearly articulate our past experiences when discussing how we've contributed to a team.
