Job Description:
We are seeking student to develop novel synthesis algorithms for developing self-improving systems. These techniques will combine control, formal methods, and machine learning techniques.
Additional Info:
SRI's Computer Science Laboratory is a world leader in the development of entirely new tools and methods for building, assessing, and defending computer systems. The laboratory studies the logical foundation of scalable systems that are beyond the scope of traditional testing or simulation. Current areas of concentration include cyber security, smart grid technologies, system verification, high-assurance systems, and computational biology. Employment Status: Full Time Other Requirements --There are no additional requirements for this position. EOE/AASRI is an Equal Opportunity Employer, making decisions without regard to race, color, religion, creed, sex, sexual orientation, gender identity, marital status, national origin, age, veteran status, disability, or any other protected class. Background Check Employment with SRI International is contingent upon the satisfactory completion of a background check. [Click Here to Access the Original Job Post]
We are seeking student to develop novel synthesis algorithms for developing self-improving systems. These techniques will combine control, formal methods, and machine learning techniques.
Qualifications
Education: Qualified candidates should be pursuing a PhD in Computer Science, Electrical Engineering or related discipline. Experience: At least 1 year as a graduate research assistant. Skills: Control theory, dynamical systems, formal methods.Skills :
Areas :
Additional Info:
SRI's Computer Science Laboratory is a world leader in the development of entirely new tools and methods for building, assessing, and defending computer systems. The laboratory studies the logical foundation of scalable systems that are beyond the scope of traditional testing or simulation. Current areas of concentration include cyber security, smart grid technologies, system verification, high-assurance systems, and computational biology. Employment Status: Full Time Other Requirements --There are no additional requirements for this position. EOE/AASRI is an Equal Opportunity Employer, making decisions without regard to race, color, religion, creed, sex, sexual orientation, gender identity, marital status, national origin, age, veteran status, disability, or any other protected class. Background Check Employment with SRI International is contingent upon the satisfactory completion of a background check. [Click Here to Access the Original Job Post]