The 5th busy Beaver number is solved! BB(5) = 47,176,870

The 5th busy Beaver number is solved! BB(5) = 47,176,870

DISCO collaborator, Tristan, and his friends over on bbchallenge.org have settled the 5th Busy Beaver number, or BB(5), by finally announcing that they’ve proved BB(5) = 47,176,870. The work includes verifying the proof in the automated theorem-prover Coq, and now Tristan and co are diligently writing up this scientific tour-de-force for ultimate verification and community acceptance via peer review.

Quanta magazine writer Ben Brubaker wrote a fantastic article on the 40-year history of this problem. We urge you to check it out! It gives background including fun anecdotes about the key characters over the past decades, up to and including Tristan’s story about founding bbchallenge.org two years ago while he was a PhD student at Maynooth University.

Here’s a picture of the winning Busy Beaver Turing machine’s execution, each line in the image corresponds to a step of the machine, starting at the top and ending at the bottom after 47,176,870 steps. The machine works in binary: 1s in white, 0s in black. You’d never guess from this image that it halts!

We are hiring!

We are hiring!

Great opportunity to work in the cutting edge research area of DNA nanotechnology in our Maynooth University TAPDANCE lab (https://dna.hamilton.ie/). We are looking for a talented Technical Officer with expertise in techniques including atomic force microscopy (AFM), fluorescence microscopy, bulk fluorescence assays (using qPCR machine, or fluorescence plate reader), agarose /polyacrylamide gel electrophoresis, as well as some experience with python code. Suitable candidates could be from an experimental physics, chemistry, molecular biology or bioengineering background. Closing date 5th January.

https://universityvacancies.com/maynooth-university/technical-officer-or-senior-technical-officer-temporary-24-month-contract

We are hiring!

We are hiring!

We are hiring for some exciting roles :

  1. Postdoc and Senior Postdoc – Closing date 23rd March 2025. Full details here: https://my.corehr.com/pls/nuimrecruit/apply?id=032822
  2. Technical Officer – Closing date 5th January 2025. Full details here: https://my.corehr.com/pls/nuimrecruit/apply?id=031802

Roles are full time and based in the Hamilton Institute at Maynooth University, Kildare, Ireland. For the Postdoc and Senior Postdoc roles the work will involve  designing DNA nanostructures, including DNA origami, DNA tile-based systems and DNA computers of any/every kind including new, imaginative, designs. Candidates should demonstrate the ability to carefully design and execute wet-lab experiments and / or mathematically and computationally analyse the computational power of molecular computers.

The  Technical  Officer/Senior Technical Officer role requires  a background in use of lab-based experimental techniques including but not limited to: atomic force microscopy (AFM), fluorescence microscopy, bulk fluorescence assays (using qPCR machine, or fluorescence plate reader), agarose /polyacrylamide gel electrophoresis, etc. We use  python code so having familiarity with programming is a bonus, and at the very least there is expectation to be willing to learn how to program.  

DISCO public launch

DISCO public launch

As part of Maynooth University Research Week 2024 we were delighted to host a public launch of our EIC Pathfinder Challenge project, in partnership with prgm.dev and tilibit nanosystems.

The event was held on Monday 21st Oct 2024, in the Hamilton Institute at Maynooth University, with a short introduction to the project from PI Prof Damien Woods introduced by Maynooth University’s Vice President for Research and Innovation Prof. Rachel Msetfi. It was attended by over 60 people and generated media coverage in a range of Irish media outlets.

Media coverage: RTÉ newsSilicon RepublicIrish Tech NewsBlocks & FilesTechCentral.ieKildare NowMaynooth University.

DISCO at Maynooth University Research Week

DISCO at Maynooth University Research Week

As part of Maynooth University Research Week 2024 the DISCO team are delighted to formally launch the DISCO project. The event will take place at 1.30pm on Monday 21st October in the Hamilton Institute at Maynooth University. It will include a short presentation of the DISCO project by Prof Damien Woods, with a short introduction by Maynooth’s Vice President Research and Innovation Prof Rachel Msetfi, and will include time to chat over lunch and tea/coffee.  

Lunch is provided. Please register here.