Thursday, December 15, 2011

PhD and Research Programmer Openings at Rice and Texas A&M

New announcements have just been posted for four PhD positions and one research programer positions funded by a new NSF project lead by Professor Taha.  The positions are hosted by Rice and Texas A&M Universities, but participants will spend significant periods of time at Halmstad University.  Please forward these announcements to strong candidates.  Note that the two deadlines are as early as January 6th.

Research Programmer in Computer Science at Rice

Major technical challenges get in the way of developing novel cyber-physical systems (CPS). Overcoming these challenges can significantly accelerate the design process. A new NSF CPS project on Robot Design is building foundations and tools to achieve this goal for novel robotics applications. The project focuses on issues relating to modeling hybrid (continuous/discrete) systems and model validation. The project, which is a close collaboration between Computer Science and Mechanical Engineering at Rice University, Mechanical Engineering at Texas A&M, and Halmstad University in Sweden, will develop and validate foundations, methods, and tools for the modeling and simulation of hybrid and cyber-physical systems.

The project has an opening a research programmer with Professor Taha at Rice University. The successful candidates will work closely a team of four professors and four PhD students working on various aspects of this project, contributing and coordinating the development of the Acumen modeling language for the purposes of this project.

Applicants for this position must have strong skills and interest in programming language design and theory; functional programming; and test-driven development.  Excellent communication and collaboration skills are required as the student will be expected to work as part of a large, international research team investigating modeling languages. Priority will be given to applicants who already hold a doctoral degree in Computer Science or Mechanical Engineering, but applicants with suitable skills and interests who hold a doctorate in Mathematics, Physics, or Electrical Engineering are also encouraged to apply. Desirable experience includes working interval and enclosure methods, exact real arithmetic, domain theory, operational semantics, formal verification, differential equations, hybrid/impulsive differential equations, and mechanical hardware design and control, especially in the context of robotics. Desirable skills include facility with Scala, Java, Haskell, OCaml, ML, Scheme, Mathematica, Maple, OpenGL, Matlab, Simulink, the Open Dynamics Engine (ODE), or other modeling and simulation tools.

The position is for one year, renewable to two years, and is subject to the availability of funding. The successful applicant will spend part of their time in Halmstad, Sweden (50%) as part of the collaboration and must be ready to start the position by May or June 2012.

The deadline for applications is January 15th, 2012. Application for this position should be sent directly to Professor Taha by email. The title of the email should be (without quotes) "Application for Robot Design Research Programmer Position". The application should consist of one, self-contained PDF attachment. The application should include 1) a brief cover letter including motivation for the application, 2) a CV, and 3) a list of names of references. It is also suggested that the application include online pointers to previous publications or software produced by the applicant.

Doctoral (PhD) student in mechanical engineering at Texas A&M

Major technical challenges get in the way of developing novel cyber-physical systems (CPS). Overcoming these challenges can significantly accelerate the design process. A new NSF CPS project on Robot Design is building foundations and tools to achieve this goal for novel robotics applications. The project focuses on issues relating to modeling hybrid (continuous/discrete) systems and model validation. The project, which is a close collaboration between Computer Science and Mechanical Engineering at Rice University, Mechanical Engineering at Texas A&M, and Halmstad University in Sweden, will develop and validate foundations, methods, and tools for the modeling and simulation of hybrid and cyber-physical systems.

The project has an opening for a Mechanical Engineering doctoral (PhD) student with Professor Ames at the University of Texas A&M. The student's dissertation will focus modeling and simulation of lower-limb robots and will involve the evaluation and development of new technologies for modeling and simulation of such systems. The successful candidate will work closely with Computer Scientists developing new computational tools to support modeling and simulation.

Applicants for must have strong skills and interest in mechanics, control theory, rigid body dynamics, and robotics.  Excellent communication and collaboration skills are required as the student will be expected to work as part of a large, international research team investigating modeling languages. Priority will be given to applicants with a masters in Mechanical or Electrical Engineering, but students with suitable skills and interests who hold a masters in Mathematics, Physics, or Computer Science are also encouraged to apply. Desirable experience includes working differential equations, hybrid/impulsive differential equations, or with mechanical hardware design and control, especially in the context of robotics and upper limb rehabilitation robots. Desirable skills include facility with Mathematica, Maple, Matlab, Simulink, the Open Dynamics Engine (ODE), or other modeling and
simulation tools.

Selected students are will spend part of their time in Halmstad, Sweden (25%) as part of the collaboration and must be ready to start the position by May or June 2012.

The deadline for applications is March 1st. Application for these positions is done through the on-line application form. Your application (and in particular your Research Statement) must make it clear that  your are applying for a PhD position with Professor Ames on the Robot Design project.

Two Doctoral (PhD) students in Computer Science at Rice University

Major technical challenges get in the way of developing novel cyber-physical systems (CPS). Overcoming these challenges can significantly accelerate the design process. A new NSF
CPS project on Robot Design is building foundations and tools to achieve this goal for novel robotics applications. The project focuses on issues relating to modeling hybrid (continuous/discrete) systems and model validation. The project, which is a close collaboration between Computer Science and Mechanical Engineering at Rice University, Mechanical Engineering at Texas A&M, and Halmstad University in Sweden, will develop and validate foundations, methods, and tools for the modeling and simulation of hybrid and cyber-physical systems.

The project has an opening for two Computer Science doctoral (PhD) student with Professor Taha at Rice University. Each student's dissertation work will have distinct technical focus. One will focus on developing the meta-theory for relating user-level descriptions of mechanical systems, mathematical equations describing the behavior of such systems, and the simulation codes needed to solve these equations.  The other will focus on developing methods for the simulation of hybrid systems, including zero-crossing and Zeno behavior. The succesful candidates will work closely with Mechanical engineerings who are working on modeling and simulation of new experimental robots.  The engineers will use and evaluate the results of the work of the PhD students.

Applicants for this position must have strong skills and interest in programming language design and theory; functional programming; and test-driven development.  Excellent communication and collaboration skills are required as the student will be expected to work as part of a large, international research team investigating modeling languages. Priority will be given to applicants with a masters in Computer Science or Electrical Engineering, but students with suitable skills and interests who hold a masters in Mathematics, Physics, or Mechanical Engineering are also encouraged to apply. Desirable experience includes working with interval and enclosure methods, exact real arithmetic, domain theory, operational semantics, formal verification, differential equations, hybrid/impulsive differential equations, and mechanical hardware design and control, especially in the context of robotics. Desirable skills include facility with Scala, Java, Haskell, OCaml, ML, Scheme, Mathematica, Maple, OpenGL, Matlab, Simulink, the Open Dynamics Engine (ODE), or other modeling and simulation tools.

Selected students are will spend part of their time in Halmstad, Sweden (50%) as part of the collaboration and must be ready to start the position by May or June 2012.

The deadline for applications is January 6th, 2012 January 16th, 2012 (Rice Computer Science extended the deadline). Application for these positions is done through the on-line application form. Your application (and in particular your Research Statement) must make it clear that your are applying for a PhD position with Professor Taha on the Robot Design project.

Saturday, October 15, 2011

Doctoral (PhD) student in mechanical engineering at Rice University

Major technical challenges impede the effectiveness of modeling and simulation of novel robot designs. The NSF CPS project on Robot Design develops foundations and tools for overcoming these challenges. The project focuses on issues relating to improving hybrid modeling formalisms demonstrating the physical validity of models developed in this formalism.  The project is a close collaboration between Computer Science and Mechanical Engineering at Rice University, Mechanical Engineering at Texas A&M, and Halmstad University in Sweden, will develop and validate foundations, methods, and tools for the modeling and simulation of cyber-physical systems (CPS).

The project has an opening for doctoral (PhD) student with the MAHI lab at Rice University. The student will contribute to the project by using a new modeling language to model and validate the MAHI lab's upper-extremity exoskeleton robot (the RiceWrist).

Applicants must strong skills in dynamic systems and controls, including modeling, simulation, and hardware implementation.  Excellent communication and collaboration skills are required as the student will be expected to work closely with software team building the modeling language. Priority will be given to applicants with a masters in Mechanical or Electrical Engineering. Desirable experience includes mechanical hardware design and control experience, especially in the context of robotics and upper limb rehabilitation robots. Desirable skills include Mathematica, Maple, Matlab, Simulink, other modeling and simulation tools.

The student wil spend part of their time in Halmstad, Sweden (25%) as part of the collaboration.

Students can apply to enter the program either in January 2012 (deadline November 1, 2011) or August 2012 (deadline February 1, 2012). Applicants desiring Fall 2012 start will be encouraged to begin research in May/June 2012.  Application for this position is done through the on-line application form.

Sunday, August 7, 2011

Patent Trolls

Over the years I have been hearing more and more negative stories about patents.  Today I came across a podcast that suggests this problem has reached alarming levels.

Friday, July 1, 2011

Three research positions relating to Acumen

PhD on Visualizing Cyber-physical Systems

Position Reference Number: “IDE 6/11”

We are developing a novel modeling and simulation language called Acumen. The goal is to create a language that can significantly accelerate innovation in the design and production of cyber-physical systems. We are seeking a doctoral student interested in developing and investigating the use of Acumen as a basis for a virtual reality environment. The research leader and supervisor will be Professors Walid Taha and Veronica Gaspes.

The goal of this doctoral position is to develop and investigate extensions of the Acumen run-time with support for visual modeling, simulation, and visualization.
This involves developing graphical entry of physical models, real-time 3D rendering, and support for interaction during the execution of simulations, developing a large and diverse suite of benchmark models and visualization, and developing techniques to formally specify and verify such a platform. Ultimately, these technologies are expected to significantly advance the utility of Acumen for modeling and experimentation with novel cyber physical designs.

Qualifications:

The position is intended for someone that will have a Masters degree by the start of their doctoral studies. Desirable skills include expertise in functional programming, modeling and simulation, virtual reality, game design and implementation, and Scala.

Compensation and Term:

After taxes, the salary is currently the rough equivalent of US $35K/year. The appointment start with a one year appointment renewable up to four years. If a student carries out part-time (20%) teaching duties or other departmental work, it may be extended for an additional year.

Application Procedure and Deadlines:

The application should comprise a single PDF file consisting of:

1) a cover letter stating the purpose of the application and a brief statement of why you believe that your goals are well-matched with the goals of this position,

2) a CV that includes at least
  • A list of previous degrees, dates, and institution
  • Transcripts for higher-education studies until most recent available
  • Optionally, results from standardized tests such as GRE or TOEFEL may be included
  • A list of publications and a description of previous research and other work experience
  • Links to online copies of the most important publications
  • A statement of purpose
  • Contact information for at least three references

The application should be sent as one PDF file attached to an email addressed to: registrator@hh.se. The subject line of the email should be “Application to IDE 6/11”. Application must be received by 2011-08-31 to receive full consideration.  The expected starting date is 2011-10-15, or as soon as possible after this date.  For more information, contact Professors Walid Taha or Veronica Gaspes, Dean Magnus Larsson or Inger Wieslander (SACO union representative). All can be reached through the switchboard +46 35 16 71 00 or by email: firstname.lastname@hh.se.

Post-doc on Parallel Hybrid Simulation

Position Reference Number: “IDE 10/11”

We are developing a novel modeling and simulation language called Acumen. The goal is to create a language that can significantly accelerate innovation in the design and production of cyber-physical systems. We are seeking a post-doctoral researcher interested in demonstrating the effectiveness of the language design in enabling parallel execution of simulation codes. The research leader and supervisor will be Professors Walid Taha and Veronica Gaspes.

The goal of this post-doctoral position is to develop and investigate several different back-ends for an Acumen compiler. This includes developing core-Acumen back ends that generate Habanero, LiME, X10, Cilk, and Timber code; developing hybrid (continuous/discrete) systems benchmarks to evaluate the language design on these platforms; and carrying out a series of systematic performance evaluation of the languages and of these target platforms. Both traditional and non-traditional hardware architectures may be investigated under the project. Ultimately, this work should yield clear insights about the aspects of Acumen design that are most effective at enabling the parallel execution of hybrid system simulations, possibly suggesting ways in which they can be improved.

Qualifications:

The position is intended for someone with a recent PhD degree and that has experience with parallel computing as well as writing interpreters and/or compilers for small languages.

Desirable skills include expertise or an interest in learning: typed and higher-order functional programming, programming language semantics, the design and implementation of novel languages, modeling and simulation, program generation, performance analysis, and parallel computing, and programming Scala and Java.

Compensation and Term:

Salary is negotiable. After taxes, the salary is typically the rough equivalent of US $40K/year. The employment is time-limited to 18 months.

Application Procedure and Deadlines:

The application should comprise a single PDF file consisting of:

1) a cover letter stating the purpose of the application and a brief statement of why you believe that your goals are well-matched with the goals of this position,

2) a CV that includes at least

  • A list of previous degrees, dates, and institution
  • A list of publications and a description of previous research and other work experience
  • Links to online copies of the most important publications
  • A statement of purpose
  • Contact information for at least three references

The application should be sent as one PDF file attached to an email addressed to: registrator@hh.se. The subject line of the email should be “Application to IDE 10/11”. Application must be received by 2011-08-31 to receive full consideration.

The expected starting date is 2011-10-15, or as soon as possible after this date. For more information, contact Professors Walid Taha or Veronica Gaspes, Dean Magnus Larsson or Inger Wieslander (SACO union representative). All can be reached through the switchboard +46 35 16 71 00 or by email: firstname.lastname@hh.se.

Thursday, June 30, 2011

Post-doc in Modeling Electric Motorcycles

Position Reference Number: “IDE 18/11”.

We are developing a novel modeling and simulation language called Acumen. The goal is to create a language that can significantly accelerate innovation in the design and production of cyber-physical systems. We are seeking a post-doctoral researcher interested in demonstrating the effectiveness of the language in achieving this goal in the context of smart grid and smart vehicle applications. The research leader and supervisor will be Professors Walid Taha and Veronica Gaspes.The goal of this post-doctoral position is to develop a series of increasingly more refined holistic cyber-physical models of smart motorcycles. The models will include components such as mechanics, motors, sensors, batteries, and embedded controllers. The post-doc can expect to receive assistance from experts in these various sub-fields. The project will include demonstrating the fidelity of these models with respect to physical prototypes. The post-doc will be involved in using the model to assess current research technologies, as well as incorporating resulting models in courses being taught at both Halmstad and Portland State Universities. Part of the work will be carried out at Portland State University with Professor Dan Hammarstrom and his group.

Qualifications:

The position is intended for someone with a recent PhD degree and that has experience in modeling and simulation or the design of electrical vehicles.

Desirable skills include expertise or an interest in learning: modeling and designing a wide range of physical systems, developing embedded systems, design and analysis of mechanical and electrical systems, control theory, computer simulation, and computer graphics and visualization.

Compensation and Term:


Salary is negotiable. After taxes, the  salary is currently the rough equivalent of  US $40K/year.  The employment is time-limited to 12 months.

Application Procedure and Deadlines:

The application should comprise a single PDF file consisting of:

1) a cover letter stating the purpose of the application and a brief statement of why you believe that your goals are well-matched with the goals of this position,

2) a CV that includes at least

  • A list of previous degrees, dates, and institution
  • A list of publications and a description of previous research and other work experience
  • Links to online copies of the most important publications
  • A statement of purpose
  • Contact information for at least three references

The application should be sent as one PDF file attached to an email addressed to: registrator@hh.se. The subject line of the email should be “Application to IDE 18/11”. Application must be received by 2011-08-31 to receive full consideration.  The expected starting date is 2011-10-15, or as soon as possible after this date.  For more information, contact Professors Walid Taha or Veronica Gaspes, Dean Magnus Larsson or Inger Wieslander (SACO union representative). All can be reached through the switchboard +46 35 16 71 00 or by email: firstname.lastname@hh.se.

Thursday, April 7, 2011

Acumen Core Language

The following paper will be presented at ICCPS next Tuesday in Chicago in the WIP session:

Wednesday, March 16, 2011

Terminal Velocity of a Ping Pong Ball

In a recent lab using Acumen the question of what is the terminal velocity of a ping pong ball came up.  Using a back of the envelope calculation, we estimated it and used that to compute a drag coefficient.  It turned out that we had come in within 20% of a number published in a research paper!

Thanks to Slawomir Nowaczyk for pointing us to this paper.

Wednesday, March 2, 2011

Core Acumen

A draft paper is now available describing the main features of the proposed core language for Acumen.  The language described is supported by the current implementation. (Please see updated version above).

Tuesday, February 1, 2011

Winner of the Differential Steering challenge Problem

The winning entry from the submissions to the challenge came from Musab Alhayan.  The code that he wrote reduced the total cost function (or "energy") needed during the simulation from 151 in the original problem to 109.  His code for the controller can be found as a comment on the original posting about the challenges.

Thanks for everyone who participated in this challenge, and congratulations to Musab for his winning submission!

Saturday, January 1, 2011

About

Acumen is a  developed by the Effective Modeling Group (EMG) research team let by Prof. Walid Taha. It has been used as part of studies reported in several research papers and masters and doctoral theses.  It is also in teaching at the university level and in some outreach activities for younger students. From time to time there are openings for bachelors and masters projects relating to Acumen, as well as full time research positions.

In the News