Research Engineer - Software Verification

The tech industry has been grappling with the issue of software quality for years, and although new tools and development paradigms have come and gone, there is still significant room for improvement. We at Vector have many tools that aid development teams in building high quality software; and have active research initiatives to extend this portfolio. We are looking for bright minds to join our research group and help design the next generation of software verification tools.
We are seeking an experienced Research Engineer to join our team in East Greenwich, RI. Currently we are working remotely.
Responsibilities
Advanced development in the areas of software verification and formal methods.
Brainstorming and prototyping of new concepts, and feasibility testing of these concepts.
Generation of white-papers, blogs, and trade show presentations.
Presentation of concepts to internal and external technical audiences.
Requirements
Required Skills
Demonstrated ability to translate complex requirements into elegant designs.
Excellent problem-solving skills, with the ability to learn quickly and work independently.
Ability to communicate complex technical concepts to peers and customers.
Minimum Qualifications
Bachelor’s in: Computer Science, Math, or Physics, with 3 years industry experience, or PhD.
Extensive programming experience using: Python, C++, or C#.
Ability to obtain and maintain USA work authorization.
Preferred Skills
Academic or Industry experience with one or more of the following topics is highly desirable: formal methods, algorithm modeling, machine learning.
Additional Information
Local candidates only; no relocation assistance provided.
Only those applicants clearly demonstrating the required skills will be considered.
Benefits
Vector is a global, continuously growing engineering company. For over a quarter of a century, we have been at the forefront of electronic innovations within the automotive industry and related sectors. Vector has over 3,000 employees at 36 locations worldwide, supporting manufacturers and suppliers with a professional platform of software and hardware tools, embedded software components, and services for developing embedded systems. Driven by our passion for technology, we develop solutions which relieve engineers of their demanding tasks. Our employees work on tomorrow’s electronic technologies every single day.
Vector offers an excellent Total Rewards package. This is an excellent opportunity for the right person.
Local candidates only. We are an EEO/AA Employer
What we offer you:
A core business in growing and exciting technologies.
The atmosphere of a small company with the resources of a global organization with offices in Europe, the Americas, and Asia.
A privately held enterprise: Our products and strategic direction are based on our customer's needs, not outside investment interests.
An engineering company run by engineers. If you’re an engineer, we speak your language.
An 'open-door' environment: Communication with management is simple and direct, no rigid protocol to follow.
The work-life balance of our employees underlies everything we do at Vector: For instance, we request input on decisions that directly affect our employees, or promote social events open to all employees.
Your work is our source code. Your passion and creativity is our success. You generate ideas and product innovations, and in return, we provide an attractive, high-tech working environment with a generous Total Rewards Program. For example, our employee benefit package and flextime environment have consistently ranked in one of the top 3 categories of our annual employee survey.