Senior Software Engineer @ (January 2017 - October 2017)
Senior Software Engineer in Static Analysis @ (August 2014 - December 2016)
Associate Professor @ (August 2007 - July 2014)
Assistant Professor @ (July 2004 - August 2007)
Post-doc @ (November 2003 - July 2004)
Alexandre David Skills
ASN.1
AWS CodePipeline
AWS Identity and Access Management (AWS IAM)
AWS Lambda
AWS infrastructure
Abstraction
Academic Publishing
Algorithms
Analytical Techniques
C
C++
CDK Typescript
Computer Science
Data-driven Decision Making
Deadline Oriented
Distributed Systems
Embedded Software
Embedded Systems
Formal Verification
Go (Programming Language)
Google Technologies
Hardware Security Module (HSM)
Java
LaTeX
Large Scale Development
Linux
Mentoring
Model Checking
OCSP
OpenSSH
Programming
Protocol Buffers
Python (Programming Language)
Research Proposals
Ruby
Scala
Secure Shell (SSH)
Security
Security Testing
Service Layer
Simulations
Software Design
Software Development
Software Engineering
Software Quality
Static Analysis
Stochastic Modeling
Synopsys tools
System Architecture
Transmission Control Protocol (TCP)
Type Approval
Unix
XML
gRPC
Research
Alexandre David Summary
Alexandre David, based in Seattle, WA, US, is currently a Senior Software Engineer, Senior Software Engineer at Google. Alexandre David brings experience from previous roles at Google, Synopsys Inc and Aalborg University. With a robust skill set that includes ASN.1, AWS CodePipeline, AWS Identity and Access Management (AWS IAM), AWS Lambda, AWS infrastructure and more. Alexandre David has 3 emails and 1 mobile phone numbers on RocketReach.
Looking for a different Alexandre David?
Find contact details for 700 million professionals.