[TYPES] Positions at DoCoMo Labs USA (San Jose, California)

[David Espinosa]

Hi,

DoCoMo Labs USA in San Jose, California has several open positions in:

  - software model checking
  - program analysis
  - lightweight formal methods
  - decision procedures
  - applications of these methods to security

In general, we would like to effectively use inference and analysis to
improve the security of downloaded code.  Candidates should have a PhD
and strong research and implementation skills.

Please see this URL for information on how to apply (please don't reply
with applications, but you're welcome to send questions):

  http://www.docomolabs-usa.com/current_openings_slr.html

We are looking to hire as soon as possible.

Thanks,

David Espinosa
Ajay Chander
DoCoMo Labs, USA
San Jose, California
USA