DIMACS 1995-96 Special Year on Logic and Algorithms Call for University-Industry PostDoctoral Fellowship and University-Industry Senior Research Fellowship Applications in Computer-Aided Verification *Update* of information in [AL0101J4] DIMACS, the Center for Discrete Mathematics and Theoretical Computer Science, is soliciting applications for university-industry postdoctoral and senior research fellowships in computer-aided verification as part of its 1995-6 Special Year on Logic and Algorithms. DIMACS is a Science and Technology Center funded by the NSF, whose participating institutions are Rutgers University, Princeton University, AT&T Bell Laboratories, and Bellcore. Research and education activities at DIMACS focus on such areas as analysis of algorithms, combinatorics, complexity, computational algebra, discrete and computational geometry, discrete optimization and graph theory. A primary activity of the Center is to sponsor year-long research programs on specific topics of current interest, and one such program is this Special Year on Logic and Algorithms. For more information on this program follow the pointers described below. 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. This activity encourages interaction between the academic and industrial sectors by enabling postdoctoral researchers to spend approximately half their time engaged in research in an industrial setting and half in a university environment. 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. The fellowships will provide partial sabbatical support for university faculty to conduct research in an industrial environment and for industrial mathematical scientists to contribute to the higher education enterprise. 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. All participating institutions are equal opportunity/affirmative action employers. **Application procedures** *Eligibility, terms, and conditions:* Per NSF's guidelines in `NSF 94-100 - University-Industry Cooperative Research Programs in the Mathematical Sciences'. (These guidelines are included in the NSF file `nsf94100'; see below to obtain NSF files.) *Deadline:* The deadline for applying to this program is Nov 15, 1994 *Where to submit applications:* By email to: k@research.att.com (postscript or plain ASCII files only), or by mail to: Robert P. Kurshan, AT&T Bell Laboratories Mathematical Sciences Research Center, Room 2C-353 Murray Hill, NJ 07974, USA. 908-582-4511 *Application checklist:* To help the selection committee, please be sure that all your materials are included before sending your application, and please be concise and observe the page limits. o Cover sheet with contact information (form attached below) o Current CV o Summary of previous research results (2p _max_) Address this to a general audience of mathematicians and computer scientists, rather than only to specialists in your field. o Statement of research plans (1p _max_) Explain how the program will benefit you and how you will contribute to the hosting institution. o Bibliography o Three letters of recommendation (sent separately) o Personal professional goals statement (1p _max_) **Sample cover sheet** (To be filled out and included with application) Application For: o University-Industry Research Fellow Name Preferred mailing address Email address Phone Number(s)/Best times to call. (work phone) (home phone) Names of Recommenders (include address, phone, email) (recommenders should send their letters to the address above). **For Further Information** For more information about the program, contact Robert Kurshan in the address above. For more information about DIMACS, contact DIMACS. You can use several methods to contact the DIMACS center. By email: center@dimacs.rutgers.edu By telephone: 908-445-5928 By FAX: 908-445-5932 By mosaic/www/lynx: http://dimacs.rutgers.edu/ By gopher: gopher dimacs.rutgers.edu By TELNET: telnet dimacs.rutgers.edu and login as `info' By post: DIMACS Center, Rutgers University P.O. Box 1179, Piscataway, NJ 08855-1179 *For Information about NSF Programs* To get the complete NSF document, send email to stisserv@nsf.gov and include in the message the line get nsf94100 You can also search the NSF files yourself by gopher stis.nsf.gov or open a Mosaic URL to: gopher://stis.nsf.gov/1 *Special Year Organizing Committee:* Eric Allender, Rutgers U. Bob Kurshan, AT&T Bell Labs Moshe Y. Vardi, Rice U. *Special Year Publicity Chair:* Stephen Bloch, Adelphi U.