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 & 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.
Bachelor’s in Computer Science, Math, or Physics, with 3 years of industry experience, or PhD.
Extensive programming experience using: Python, C++, or C#.
Ability to obtain and maintain USA work authorization.
Academic or Industry experience with one or more of the following topics is highly desirable: formal methods, algorithm modeling, and machine learning.