Senior Process Engineer supporting drug substance purification and bulk manufacturing activities at Aura Biosciences. Focus on technology transfer and process performance in a clinical - stage biotech setting.
About the role
- Formal Verification Engineer at Intel verifying IP and microarchitectures using formal methods. Collaborating with teams on cutting-edge CPU technology development while participating in methodology enhancement.
Responsibilities
- Conducts verification of IP and/or SoC microarchitecture using formal verification tools
- Creates comprehensive formal verification test and coverage plans
- Develops formal proofs and reviews proofs, creates methods for verification
- Collaborates with architects, RTL developers, and physical design teams
- Maintains and improves existing functional verification infrastructure and methodology
Requirements
- B.S. in Computer Engineering or Electrical Engineering with 3+ years of experience or M.S. with 2+ years or PhD
- Experience with sequential equivalence checking in complex micro-architectures
- Experience in assertion writing, checker development, coverage analysis, failure debug, root cause analysis
- Knowledge of computer architecture, memory hierarchy, and management
- Hands-on experience with formal verification tools like JasperGold, Questa Formal, VC Formal
- Experience with a hardware modeling language (Verilog, VHDL, System Verilog)
- Programming experience in C/C++, Perl, Python, Ruby, Java, TCL
Benefits
- Competitive pay
- Stock bonuses
- Health
- Retirement
- Vacation
Job title
Job type
Experience level
Salary
Degree requirement
Tech skills
Location requirements
Process Engineer at Aura Biosciences focusing on tech transfer and upstream manufacturing for oncology therapies. Collaborating across teams to ensure successful engineering and GMP runs.
Vulnerability Management Engineer at HP focusing on cybersecurity and risk assessment. Working on vulnerability remediation and reporting within a dynamic digital landscape.
Intern assisting Candi Asset Management with solar portfolio performance through monitoring and analysis. Engaging in innovative projects in a multicultural environment.
Formal Verification Engineer ensuring quality and reliability of Intel's cutting - edge CPU technologies. Collaborating with teams to develop and validate high - performance CPUs.
Senior Technical Leader driving process innovation across advanced semiconductor technologies in volume manufacturing for Intel's foundry. Leading development and optimization of thin film deposition processes.
Process Engineer Automation at Lohmann, managing production automation from development to series production. Key role in advancing high - tech adhesive solutions internationally with a focus on innovation.
Onsite Engineer at CDW supporting IT hardware deployment and installation across NHS sites. Providing technical assistance and maintaining compliance with NHS standards and protocols.
Materials and Processes Engineer in Seville focusing on industrial processes and quality for Airbus Defence & Space. Joining engineering team to manage M&P Industrial Projects and technical assessments.
Project Engineer managing equipment design and project execution for Nikkiso Cryoquip in Murrieta, CA. Responsible for project accuracy and quality from conception to completion.