|
Reasoning Technology has openings for individuals who enjoy solving
challenging research and development problems and working with
others in a cooperative environment where everyone contributes and
everyone learns. You should be knowledgable in several areas of
language design, operating systems, compiler construction, theorem
proving, optimization, human factors, near linear algorithms, symbolic
execution, or other areas important to software development infrastructure
with education in computer science, engineering, mathematics, or related
fields. Preferred qualifications include diversity of experience,
engineering mentality, Ph.D. or thesis master’s degree, and knowledge
beyond engineering and science. U.S. citizenship or permanent residency
required.
|
