Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
data; tabulate and display data for presentation in research conferences and for manuscript preparation; use graphics and statistical software to analyze and present data; search pertinent scientific
-
- PhD student in quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by
-
manuscript preparation; use graphics and statistical software to analyze and present data; search pertinent scientific literature as needed. Supervise other personnel in the laboratory; participate in training
-
Bajcsy, PhD Information Technology Laboratory (ITL) National Institute of Standards and Technologies (NIST) Phone: 301-975-2958 Email: peter.bajcsy@nist.gov URL: https://www.nist.gov/people/peter-bajcsy
-
; maintain computer database of research data; tabulate and display data for presentation in research conferences and for manuscript preparation; use graphics and statistical software to analyze and present
-
; maintain computer database of research data; tabulate and display data for presentation inresearch conferences and for manuscript preparation; use graphics and statistical software to analyze and present
-
University Munich (www.tum.de). Accordingly, we are currently searching for PhD Students and Postdocs to join our team! PhD Students For PhD students, we are looking for persons that are willing to learn and