2

Remote Formal Verification Engineer Jobs in Kentucky

... remote teams. The Senior PM oversees all phases of a project and is responsible for project ... verification. The Senior PM will report financial metrics on a weekly basis and proactively take ...

For any concerns, or to verify the authenticity of a message, please contact us through our ... Lead cross-functional planning/engineering/construction teams in the execution of utility ...

For any concerns, or to verify the authenticity of a message, please contact us through our ... Lead cross-functional planning/engineering/construction teams in the execution of utility ...

You'll work closely with architectural and engineering teams, land surveyors, and project managers ... This role will begin as a remote (work-from-home) position and will transition to a full-time, in ...

You'll work closely with architectural and engineering teams, land surveyors, and project managers ... This role will begin as a remote (work-from-home) position and will transition to a full-time, in ...

You'll work closely with architectural and engineering teams, land surveyors, and project managers ... This role will begin as a remote (work-from-home) position and will transition to a full-time, in ...

Coordinate closely with engineering, construction, and stakeholders to maintain compliance with ... This role will begin as a remote (work-from-home) position and will transition to a full-time, in ...

Coordinate closely with engineering, construction, and stakeholders to maintain compliance with ... This role will begin as a remote (work-from-home) position and will transition to a full-time, in ...

Coordinate closely with engineering, construction, and stakeholders to maintain compliance with ... This role will begin as a remote (work-from-home) position and will transition to a full-time, in ...

You'll work closely with architectural and engineering teams, land surveyors, and project managers ... This role will begin as a remote (work-from-home) position and will transition to a full-time, in ...

Showing results 21-40

Remote Formal Verification Engineer information

What is the difference between Remote Formal Verification Engineer vs Remote Hardware Verification Engineer?

AspectRemote Formal Verification EngineerRemote Hardware Verification Engineer
Required CredentialsBachelor's/Master's in Electrical Engineering, Computer Science; certifications in formal methodsBachelor's/Master's in Electrical Engineering, Computer Engineering; certifications in hardware testing
Work EnvironmentDesign and analyze digital systems using formal methods remotelyTest and validate hardware components remotely in lab or simulation environments
Industry UsageSemiconductor, electronics, tech companies focusing on verificationSemiconductor, electronics, hardware manufacturing companies
Search & Comparison IntentOften compared due to similar industry and skills, focusing on verification methods

The Remote Formal Verification Engineer specializes in mathematically proving the correctness of digital systems remotely, while the Remote Hardware Verification Engineer tests and validates hardware components remotely. Both roles require strong technical credentials and are used in similar industries, but they focus on different verification techniques and processes.

What is a remote formal verification engineer?

Remote Formal Verification Engineers are professionals who use mathematical methods to verify the correctness of hardware or software designs, ensuring they meet specified requirements and are free from critical errors. They typically work from home or any location outside a traditional office, collaborating with teams online. Their main tasks include writing formal specifications, developing verification strategies, analyzing results, and reporting on system reliability. This role is essential in industries like semiconductor design, automotive, and aerospace, where system failures can have significant consequences.

What are the key skills and qualifications needed to thrive as a remote formal verification engineer?

To thrive as a Remote Formal Verification Engineer, you need a strong background in digital design, formal verification methodologies, and a relevant degree in computer engineering or a related field. Expertise in formal verification tools (such as JasperGold or Questa Formal), hardware description languages (like Verilog or VHDL), and scripting languages is typically required. Strong problem-solving ability, attention to detail, and effective remote communication skills set top performers apart. These skills ensure the accurate validation of hardware designs, reduce costly errors, and enable efficient collaboration in distributed teams.

How does a remote formal verification engineer typically collaborate with development and design teams across different time zones?

As a Remote Formal Verification Engineer, effective collaboration with development and design teams is critical, especially when working across multiple time zones. Most teams use a combination of asynchronous communication tools (like email, Slack, and project management platforms) and scheduled video meetings to align on goals, clarify verification requirements, and review progress. It's common to document verification plans and results thoroughly so colleagues in other regions can review and contribute. Flexibility in working hours and proactive communication help ensure smooth handoffs and minimize blockers, making remote collaboration productive and efficient.
What are popular job titles related to Remote Formal Verification Engineer jobs in Kentucky? For Remote Formal Verification Engineer jobs in Kentucky, the most frequently searched job titles are:
What job categories do people searching Remote Formal Verification Engineer jobs in Kentucky look for? The top searched job categories for Remote Formal Verification Engineer jobs in Kentucky are:
What cities in Kentucky are hiring for Remote Formal Verification Engineer jobs? Cities in Kentucky with the most Remote Formal Verification Engineer job openings:

Research Intern on Generative and Protective AI for Content Creation

Sony

Covington, KY โ€ข On-site, Remote

$50/hr

Full-time

Posted 7 days ago


Job description

Sony AI America, a branch of Sony AI, is a remotely distributed organization spread across the U.S. and Canada. Sony AI is Sony's new research organization pursuing the mission to use AI to unleash human creativity. Sony AI works closely with Sony's other business units, including Sony Interactive Entertainment LLC., Sony Pictures Entertainment Inc., and Sony Music Entertainment. With some 900 million Sony devices in hands and homes worldwide today, a vast array of Sony movies, television shows and music, and the PlayStation Network, Sony creates and delivers more entertainment experiences to more people than anyone else on earth. To learn more: https://ai.sony/

Position Summary

Sony AI is seeking research interns who are passionate about ML-based technologies that are useful in movie , game , and music creation, as well as technologies for the ethical operations of generative AIs. Our mission is to research and develop technologies for various Sony Group products and for scientific publication. The technologies developed during the internship will have the potential to be applied in film, game , and music production across entertainment studios worldwide.

Responsibilities

As a research intern, you will investigate and apply novel algorithms related to:

  • The generation and editing of video, sound, and 3D visual geometry (including 3D human motion).
  • The analysis and alleviation of ethical flaws in generative models, including techniques for memorization detection and mitigation, concept erasure, and data attribution.

Your goal will be to publish your findings in a top-tier conference. You are expected to be self-motivated and to implement innovative ideas using your research, coding, and problem-solving skills. You will receive support from internal scientists and engineers in your efforts.

Required Qualifications

  • Master's degree in Computer Science , Electrical Engineering, Applied Mathematics, or related fields.
  • Proven knowledge and expertise in generative AI applications, including deep generative modeling, computer vision, and audio signal processing.
  • Strong analytical and programming skills in deep learning using frameworks and tools for machine learning (e.g., PyTorch ) and visualization (e.g., TensorBoard ).
  • Experience in research communities, including published papers at top-tier conferences such as CVPR, ICCV, ECCV, NeurIPS , ICLR, and ICML.
  • Excellent communication and presentation skills.

Preferred Qualifications

  • Currently enrolled in a relevant Ph.D. program in fields such as Computer Science, Electrical Engineering, Applied Mathematics, or related disciplines.

Working Location

Location flexible (Tokyo, NYC, remote)

The target hourly rate for this internship is $50.00 per hour. The individual will be paid hourly and eligible for overtime .

LI-AS1

All qualified applicants will receive consideration for employment without regard to any basis protected by applicable federal, state, or local law, ordinance, or regulation.

Disability Accommodation for Applicants to Sony Corporation of America Sony Corporation of America provides reasonable accommodation for qualified individuals with disabilities and disabled veterans in job application procedures. For reasonable accommodation requests, please contact us by email at careers@sonyusa.com or by mail to: Sony Corporation of America, People Experience Department, 25 Madison Avenue, New York, NY 10010. Please indicate the position you are applying for.

We are aware that unauthorized individuals or organizations may attempt to solicit personal information or payments from job applicants by impersonating our company through fraudulent job postings. We take these matters seriously but cannot control third-party websites. To protect your personal information, please verify that any job posting you respond to also appears on our official Careers page: www.sonyjobs.com . Please also be advised that we never request personal identifying information (such as Social Security numbers, bank details, or copies of identification documents) during the initial stages of our application process. If you have any doubts about the authenticity of a job posting or communication, please contact careers@sonyusa.com before submitting any information.

Right to Work (English/Spanish)

E-Verify Participation (English/Spanish)