This list contains only the countries for which job offers have been published in the selected language (e.g., in the French version, only job offers written in French are displayed, and in the English version, only those in English).
Are you passionate about programming languages, applying formal verification, program analysis, constraint-solving, and/or theorem proving to real world problems? Do you want to create products that help customers? If so, then we have an exciting opportunity for you. In this role, you will interact with internal teams and external customers to understand their requirements. You will apply your knowledge to propose innovative solutions, create software prototypes, and productize prototypes into production systems using software development tools and methodologies. In addition, you will support and scale your solutions to meet the ever growing demand of customer use.
Job Responsibility
Interact with various teams to develop an understanding of their security and safety requirements
Apply the acquired knowledge to build tools find problems, or show the absence of security/safety problems
Implement these tools through the use of SAT, SMT, BDDs, and various concepts from programming languages, theorem proving, formal verification and constraint solving
Perform analysis of the customer systems using tools developed in-house or externally provided
Create software prototypes to verify and validate the devised solutions methodologies
integrate the prototypes into production systems using standard software development tools and methodologies
Can present and defend company-wide technical decisions to the internal technical community and represent the company effectively at technical conferences
Functional thought leader, sought after for key tech decisions
Mentors and trains the research scientist community on complex technical issues
Requirements
PhD, or Master's degree and 6+ years of applied research experience
Experience programming in Java, C++, Python or related language
Experience in any of the following areas: algorithms and data structures, parsing, numerical optimization, data mining, parallel and distributed computing, high-performance computing
Experience in patents or publications at top-tier peer-reviewed conferences or journals
Nice to have
5+ years of industry or academic research experience
Experience in professional software development
What we offer
Sign-on payments
Restricted stock units (RSUs)
Health insurance (medical, dental, vision, prescription, Basic Life & AD&D insurance and option for Supplemental life plans, EAP, Mental Health Support, Medical Advice Line, Flexible Spending Accounts, Adoption and Surrogacy Reimbursement coverage)