« Tech talk video: Parallel K-Induction Based Model Checking | Main | Tech talk: Combining Denotational and Operational Semantics for Scalable Proof Development »

Galois is Hiring!

Do you want to lead the development of the next generation of embedded systems that transform how we interact with the physical world? Do you want to make secure cloud computing a reality? Can you help us develop and exploit secure, ubiquitous networked devices?

Galois has a position open for a senior computer scientist in our Portland office.  This individual will support existing research programs and internal research and development efforts and provide technical leadership in the development of new capabilities and business opportunities.  Such leadership may include development of new R&D efforts and expansion of existing efforts.  The candidate should be an experienced and recognized researcher in the field capable of envisioning, designing and leading new R&D efforts and large, complex programs.

Click here for more information. 

Reader Comments

There are no comments for this journal entry. To create a new comment, use the form below.

PostPost a New Comment

Enter your information below to add a new comment.

My response is on my own website »
Author Email (optional):
Author URL (optional):
Some HTML allowed: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <code> <em> <i> <strike> <strong>