<?xml version="1.0"?>
<News hasArchived="false" page="1" pageCount="1" pageSize="10" timestamp="Sun, 26 Apr 2026 11:09:40 -0400" url="https://beta.my.umbc.edu/groups/umbc-ai/posts.xml?tag=logic">
<NewsItem contentIssues="true" id="145078" important="false" status="posted" url="https://beta.my.umbc.edu/groups/umbc-ai/posts/145078">
<Title>PhD student position for research project on evaluating scientific claims</Title>
<Body>
<![CDATA[
    <div class="html-content">The UMBC <strong><a href="https://atomslab.github.io/" rel="nofollow external" class="bo">AI and Theory-Oriented Molecular Science Lab</a> (ATOMS) </strong>led by Professor <a href="https://cbee.umbc.edu/josephson/" rel="nofollow external" class="bo"><strong>Tyler Josephson</strong></a> in the Department of Chemical, Biochemical and Environmental Engineering. has two fully-funded positions for PhD students to start in Spring 2025 or sooner.<div><br></div><div>The ATOMS Lab brings together chemical engineers, computer scientists, and mathematicians to equip computers to reason about and discover theories in molecular science.</div><div><div><div><br></div><div>One position will will support an interdisciplinary team of scientists, engineers, and linguists, to build an AI system for evaluating scientific claims using logic, LLMs, and the <a href="https://en.wikipedia.org/wiki/Lean_(proof_assistant)" rel="nofollow external" class="bo"><strong>Lean 4</strong></a> programming language.  </div><div><br></div><div>See more information about this opportunity <a href="https://atomslab.github.io/static/docs/2024_ATOMS_Lab_hiring_ad.pdf" rel="nofollow external" class="bo"><strong>here</strong></a>.</div></div></div><div><br></div> <hr><a href="https://ai.umbc.edu/" rel="nofollow external" class="bo"><strong>UMBC Center for AI</strong></a></div>
]]>
</Body>
<Summary>The UMBC AI and Theory-Oriented Molecular Science Lab (ATOMS) led by Professor Tyler Josephson in the Department of Chemical, Biochemical and Environmental Engineering. has two fully-funded...</Summary>
<Website>https://atomslab.github.io/</Website>
<TrackingUrl>https://beta.my.umbc.edu/api/v0/pixel/news/145078/guest@my.umbc.edu/022f6f601a98aa386c886132615a2e7d/api/pixel</TrackingUrl>
<Tag>ai</Tag>
<Tag>atoms-lab</Tag>
<Tag>llm</Tag>
<Tag>logic</Tag>
<Tag>molecular-science</Tag>
<Group token="umbc-ai">UMBC AI</Group>
<GroupUrl>https://beta.my.umbc.edu/groups/umbc-ai</GroupUrl>
<AvatarUrl>https://assets4-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xsmall.png?1691095779</AvatarUrl>
<AvatarUrl size="original">https://assets2-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/original.png?1691095779</AvatarUrl>
<AvatarUrl size="xxlarge">https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xxlarge.png?1691095779</AvatarUrl>
<AvatarUrl size="xlarge">https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xlarge.png?1691095779</AvatarUrl>
<AvatarUrl size="large">https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/large.png?1691095779</AvatarUrl>
<AvatarUrl size="medium">https://assets3-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/medium.png?1691095779</AvatarUrl>
<AvatarUrl size="small">https://assets3-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/small.png?1691095779</AvatarUrl>
<AvatarUrl size="xsmall">https://assets4-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xsmall.png?1691095779</AvatarUrl>
<AvatarUrl size="xxsmall">https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xxsmall.png?1691095779</AvatarUrl>
<Sponsor>UMBC AI</Sponsor>
<ThumbnailUrl size="xxlarge">https://assets3-beta.my.umbc.edu/system/shared/thumbnails/news/000/145/078/d521ecf82f23a8ca2f5d62f81f12119a/xxlarge.jpg?1729869908</ThumbnailUrl>
<ThumbnailUrl size="xlarge">https://assets3-beta.my.umbc.edu/system/shared/thumbnails/news/000/145/078/d521ecf82f23a8ca2f5d62f81f12119a/xlarge.jpg?1729869908</ThumbnailUrl>
<ThumbnailUrl size="large">https://assets4-beta.my.umbc.edu/system/shared/thumbnails/news/000/145/078/d521ecf82f23a8ca2f5d62f81f12119a/large.jpg?1729869908</ThumbnailUrl>
<ThumbnailUrl size="medium">https://assets2-beta.my.umbc.edu/system/shared/thumbnails/news/000/145/078/d521ecf82f23a8ca2f5d62f81f12119a/medium.jpg?1729869908</ThumbnailUrl>
<ThumbnailUrl size="small">https://assets1-beta.my.umbc.edu/system/shared/thumbnails/news/000/145/078/d521ecf82f23a8ca2f5d62f81f12119a/small.jpg?1729869908</ThumbnailUrl>
<ThumbnailUrl size="xsmall">https://assets1-beta.my.umbc.edu/system/shared/thumbnails/news/000/145/078/d521ecf82f23a8ca2f5d62f81f12119a/xsmall.jpg?1729869908</ThumbnailUrl>
<ThumbnailUrl size="xxsmall">https://assets1-beta.my.umbc.edu/system/shared/thumbnails/news/000/145/078/d521ecf82f23a8ca2f5d62f81f12119a/xxsmall.jpg?1729869908</ThumbnailUrl>
<PawCount>1</PawCount>
<CommentCount>0</CommentCount>
<CommentsAllowed>true</CommentsAllowed>
<PostedAt>Fri, 25 Oct 2024 11:42:07 -0400</PostedAt>
</NewsItem>

</News>
