You misunderstand the issues here.
1. Atheism has literally nothing to do with the possibility of life elsewhere in the universe.
2. Scientists and rational thinkers do not "want" there to be life. It is simply a strong possibility based on the available evidence. "Faith" has nothing to do with it.
3. "Hard lab proof" is not necessary to establish if something is possible or probable. However, we do have "hard lab proof" that life exists in the universe, so it isn't a major leap to propose other life. When the issue is god, we have no "hard lab proof" of gods in the first place, so that initial premise (that god exists) needs to be supported by HLP before we move any further (eg, which version of god, what they want us to do, etc)
"Reasons" not "excuses". No one is claiming that a specific type of life actually exists but we are unable to detect it (which is basically the god claim).
Unfortunately, this merely shows your lack of understanding of science, probability, evidence, etc.
Nope. The reason why we can't see life on other planets, if it is there, is because of distance and access. If we could safely survey and sample every planet, we would find any life that existed.
The the best explanation for why we can't detect god in any way is because he isn't there.
So what are you actually trying to say here, that there definitely isn't life elsewhere in the universe, or that there definitely is?
I am not saying there is life elsewhere in the universe or this is not life elsewhere in the universe. However, I am saying that the philosophy of science not only requires some hard proof of a claim, but it also requires at least a second team also has to verify this with its own first hand data. We do not have this, when it comes to the theory of life elsewhere in the universe, besides earth. All we have is faith in statistics and the current theory of life, neither of which may be as complete, as we wish to believe. Science is a work on progressed yet each generation thinks their contemporary state of the art is the final answer.
The analogy for life of other planets is the the existence of the unicorn. The unicorn is essentially a small horse with a single horn coming out of its forehead and maybe fancy colors. If we assume the statistical model of life is valid, and not just a way model the unknown, there should be finite odds for the mutations, that forms a unicorn, from a horse, since it only requires head bone and fur extrapolation.
So why not conclude the unicorns are out there, and we could find one, if we look hard enough and long enough, as predicted by the oracle? Where is your full faith in the oracle? Science uses the dull side of the two edge oracle sword, to police itself. This is an example of its own dual standard.
I used to be a development Chemical Engineer in my younger days. Often when modeling dynamic and continuous flow chemical processes, you would end up with a large number of simultaneous equations connected to the various properties of the materials being processed. These chemical and thermodynamic properties change with time and place, during continuous flow experiments, especially if there are reaction kinetics. Ideally, one would like to solve all the equations, together, in 3-D space, and then reduce this equation complexity to a simple math solution. However, it many of cases, the math would not shrink down, by direct or classic math means.
Numerical methods were invented to help solve such situations. These methods would use matrixes and computer iterations, where matrixes where ways to set up the math in a table, for the computer. The numerical method would be primed with an approximate solution, which could be anything reasonable, and would cycle and improve the matrix, over and over, until a steady state was reached. This could take many hours of computer time. Although this works, and often led to very good solutions, no engineer would just assumed nature works by iteration. It is always seen as tool and not a fact of nature.
Biologist got fooled into thinking their statistical approximation math method was more than a tool. This approximation method is misunderstood and appear to be assumed to be the underlying basis for life, since it can appear to solve problems, even where basic life logic is lacking. In iteration methods the classic math logic was lacking and it to pushes through.
With statistics you place any given set of parameters into a black box. All you need are the inputs and outputs. You covers your eyes, via the black box; bow before the oracle and doin't look. You are not allowed to think, since you cannot see, due to the black box. The statistical method does the same basic thing as the iteration method, approximating the mystery of the black box for you, like an oracle or fortune teller. The life sciences would not have gotten past observations and cataloging, if they could not use the blindman's prophesy tool as much as they do. Good for the tool but the tool is not life.
If you look at COVID and the use of statistical models, we inconvenienced the entire world and still loss lots of life. The oracle appears to be able to hit the target at the edge, but never hits the bull's eye; sweet spot. The ideal would be theory that is starting enough to allow each person to have their own unique fortune, instead of bulk fortune telling; one size fits all. Yet this bulk fortune telling is treated like it hit the bullseye. If the bio-theory was better in terms of logic, we would be closer to the unique fortune for all.
An analogy would be having the oracle of statistics design an automobile in a black box. It may work, but very few people could drive it or drive it safely, yet all would marvel that it even works, period. Faith in the oracle tells us to ignore the philosophy of science, and accept the output of the oracle with blind faith, even with lack of hard evidence. You are an unfaithful denier, if you do not go along with the half baked solutions, like with COVID. Politician live by the oracle since this gives them plausible deniability when they run scams.
Life on other planets is probably possible, but this is not based on statistical oracles or tools. Its is based on better conceptual logic, with the black box being open, so the logic that is needed more than just faith in a math oracle tool, that does not have to right to be blindly followed; COVID lockdowns. Politics, Marketing and Polling and Gambling all use the same black box as the life sciences. Sometimes these four application all get blended together making it hard to get pure science out of the predictions.