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.