The full version of this announcement is available.
DIMACS, the Center for Discrete Mathematics and Theoretical Computer Science, is soliciting applications for university-industry postdoc and senior research fellowships in computer-aided verification as part of its 1995-6 Special Year on Logic and Algorithms.
One of the topics on which this special year is focused is computer-aided verification, which studies algorithms and structures for verifying properties of hardware and software. It draws upon techniques from graph theory, combinatorics, automata theory, complexity theory, Boolean functions and algebras, logic, Ramsey theory and linear programming.
The university-industry postdoctoral program is an NSF-sponsored program that provides opportunities for recent doctoral recipients in the mathematical sciences to broaden their knowledge, experience, and perspectives by exposing them to industrial environments and for industry to interact with talented researchers who are beginning their careers.
The university-industry senior research program is an NSF-sponsored program whose goal is to increase participation of mid-career and senior mathematical scientists in an industrial research setting and to expose mid-career and senior industrial mathematical scientists to academic research. The program provides research fellowships, both university-to-industry and industry-to-university.
Conditioned on funds approval, we expect DIMACS-industry postdoctoral positions, industrial positions for academic mathematical scientists, and DIMACS positions for industrial mathematical scientists. Interested mathematical scientists are encouraged to apply. Details on application procedures, eligibility, terms and conditions, application checklist, and further information, are in the full version of this announcement.