Technical Responsibilities: - Interact with various teams to understand security and safety requirements. - Apply the acquired knowledge to build tools that identify problems or demonstrate the absence of security/safety issues. - Implement these tools using SAT, SMT, and concepts from programming languages, theorem proving, formal verification, and constraint solving. - Analyze customer systems using tools developed in-house or externally provided. - Create software prototypes to verify and validate devised solutions and integrate prototypes into production systems.

Leadership Responsibilities: - Present and defend company-wide technical decisions to the internal technical community and represent the company at technical conferences. - Act as a functional thought leader, sought after for key tech decisions. Effectively sell ideas to executive-level decision makers. - Mentor and train the research scientist community on complex technical issues.

A day in the life - You will work on cutting-edge technology related to formal methods, automated reasoning, automated testi

Technical Responsibilities: - Interact with various teams to understand security and safety requirements. - Apply the acquired knowledge to build tools that identify problems or demonstrate the absence of security/safety issues. - Implement these tools using SAT, SMT, and concepts from programming languages, theorem proving, formal verification, and constraint solving. - Analyze customer systems using tools developed in-house or externally provided. - Create software prototypes to verify and validate devised solutions and integrate prototypes into production systems.

Leadership Responsibilities: - Present and defend company-wide technical decisions to the internal technical community and represent the company at technical conferences. - Act as a functional thought leader, sought after for key tech decisions. Effectively sell ideas to executive-level decision makers. - Mentor and train the research scientist community on complex technical issues.

A day in the life - You will work on cutting-edge technology related to formal methods, automated reasoning, automated testi